Uber Formal Unentscheidbare Satze der em Principia Matematica und verwandter Systeme I

by

G"odel and K.

Literature search on Evolutionary ComputationBBase ©1999-2013, Rasmus K. Ursem
     Home · Search · Adv. search · Authors · Login · Add entries   Webmaster
Note to authors: Please submit your bibliography and contact information - online papers are more frequently cited.

Info: Monatshefte fur Matematik und Physik (Journal), 1931, p. 173-98
Keywords:automata-theory
Notes:
{it ~\ G"odel's famous proof of the formal undecidability of certain mathematical truths. Translation by Elliot Mendelsohn printed in cite{Davis65}.}
Internet search:Search Google
Search Google Scholar
Search Citeseer using Google
Search Google for PDF
Search Google Scholar for PDF
Search Citeseer for PDF using Google

Review item:

Mark as doublet (will be reviewed)

Print entry



BibTex:
@article{Godel31,author = {G"{o}del, K.},title = {Uber Formal Unentscheidbare Satze der {em Principia Matematica} und          verwandter Systeme {I}},journal = {Monatshefte fur Matematik und Physik},volume = 38,pages = {173-98},year = 1931,key = {automata-theory},note = { {it ~\ G"{o}del's famous proof of the formal undecidability of                certain mathematical truths. Translation by Elliot Mendelsohn               printed in cite{Davis65}.} }