33
/de/
AIzaSyB4mHJ5NPEv-XzF7P6NDYXjlkCWaeKw5bc
November 1, 2025
1159257
348144
2
Public Timelines
FAQ Das Premium bekommen

Kurt Gödel (1906 – 1978) (28 Apr 1906 Jahr – 14 Jan 1978 Jahr)

Beschreibung:

Os procedimentos de provas para predicados são completos. Algumas implicações disto são: 1) Todas as conjecturas
poderão ser estabelecidas mecanicamente; 2) Todo teorema poderá ser estabelecido como uma conseqüência lógica de
um conjunto de axiomas fundamentais num número finito de passos. O cálculo de predicados é completo devido ao
teorema demonstrado por Kurt Gödel em 1930. Por outro lado, a introdução do axioma da indução no cálculo de
predicados conduz a incompleteza na aritmética, – fato este – também demonstrado por Kurt Gödel, mas em 1931. A
seguir enunciam-se os teoremas em questão.

Zugefügt zum Band der Zeit:

Datum:

28 Apr 1906 Jahr
14 Jan 1978 Jahr
~ 71 years