Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.



Language: sci.math just gave me an idea :)
Posted:
Oct 25, 2013 5:03 AM


The "standard" math language allows you to formulate "statements" like +=E0, i.e. syntactic mess.
Wouldn't it be nice to have a language where all statements you can make are syntactically meaningful? With cheating, it's possible  just sort all meaningful statements over a finite alphabet and call them "1", "2", "3",... :) Think of the advantage for sci.math :)))
I thought of a version which doesn't need a lookuptable, of course.
 Hauke Reddmann <:EX8 fc3a501@unihamburg.de Hund frißt Hund jeden Tag  Pal jetzt NEU mit Menschgeschmack Hund frißt Hund heißt der Sport  hoff', du stehst auf Völkermord (Der Nachwuchs)



