First Page | Document Content | |
---|---|---|
Date: 2005-10-03 10:06:46Theoretical computer science Computability theory Functions and mappings Halting problem Closed and exact differential forms Function Algorithm Hypercomputation Echo answer Mathematics Theory of computation Mathematical logic | The Four Sons of Penrose Nachum Dershowitz⋆ School of Computer ScienceAdd to Reading ListSource URL: www.cs.tau.ac.ilDownload Document from Source WebsiteFile Size: 163,22 KBShare Document on Facebook |