Im content with a Euclidean construction and a proof that its irrational. An infinite series definition. Actually evaluating the digits is for... technicians.

Im content with a Euclidean construction and a proof that its irrational. An infinite series definition. Actually evaluating the digits is for... technicians. (Besides, just choose an irrational number base and sqrt 2 is = 1)