Giuseppe Peano
(1858 – 1932 d.C) (27 août 1859 – 30 avr. 1932)
Description:
Giuseppe Peano era matemático Italiano e criador do princípio da indução. Sabe-se hoje que ao
introduzir este principio na lógica de predicados, recai-se na aritmética de Peano. Conceitualmente a diferença
entre a lógica de predicados de primeira ordem e a aritmética de Peano é bastante significativa. Segundo os
teoremas de Kurt Gödel formulados em 1930 e 1931, a primeira é dotada de completeza enquanto a segunda de
incompleteza.
Ajouté au bande de temps:
Date: