13 Jan
2010
13 Jan
'10
2:28 p.m.
Marc Weber wrote:
As you can see, this conclusively proves... something.
What about brainfuck? 8 different signs are used. -> http://de.wikipedia.org/wiki/Brainfuck#cite_note-0
The first link points to a page saying there is an interpreter 98 bytes in size..
What does this prove? :-)
Exhibit A: The Iota calculus. It has one value (the Iota function), and one operator (function application). It is Turing-complete. I have literally *no idea* how big an interpretter would be...