Encyclopedia >

  Article Content

Warning: include(/home/kidsnetau/encyclopedia/wiki/tero-dump/wikipedia/li/) [function.include]: failed to open stream: No such file or directory in /home/kidsnetau/encyclopedia/wiki/tero-dump/wikipedia/index.php on line 210

Warning: include() [function.include]: Failed opening '/home/kidsnetau/encyclopedia/wiki/tero-dump/wikipedia/li/' for inclusion (include_path='.:/usr/share/pear:/usr/share/php') in /home/kidsnetau/encyclopedia/wiki/tero-dump/wikipedia/index.php on line 210

All Wikipedia text is available under the terms of the GNU Free Documentation License

  Search Encyclopedia

Search over one million articles, find something about almost anything!
  Featured Article
Goedels Incompleteness Theorem

... paper for the problem and Rosser's paper for the resolution. The key word is "omega-consistency".) Now comes the trick: a statement form F(x) is called ...