Fiches

Citation 143698 2016-09-11 13:38:49+00:00 329393365 96648716

Contenu

Titre

Citation 143698 2016-09-11 13:38:49+00:00 329393365 96648716

Est une partie de

Intuition et vérité - Cairn.info

contenu

En 1928, au congrès des mathématiciens tenu à Bologne, le savant allemand, après s’être félicité des rapides progrès de la métamathématique, avait rappelé les problèmes qui restaient à résoudre. Il s’agissait avant tout de démontrer la complétude de la logique du premier ordre, puis la non-contradiction et la complétude de l’arithmétique formelle. En 1930, un jeune mathématicien viennois fournit la démonstration demandée dans le premier cas. Un an plus tard, à la grande surprise du monde savant, il montrait qu’il fallait répondre par la négative aux deux autres questions, ruinant ainsi les espoirs que Hilbert avait mis dans sa théorie de la démonstration.

is compiled by

Lucky Semiosis

Date de création

11 septembre 2016, 13:38:49 +00:00

Est référencé par

182018_329393365_96648716

color

yellow

y

2295.125

x

851

Complexité

157

Date de modification

6 septembre 2023, 08:08:54 +00:00

Détails de la complexité

Physique,1,,,,,10,10

Physique,2,,,,,14,28

Actant,1,,,,,1,1

Actant,2,,,,,1,2

Concept,1,,,,,9,9

Concept,2,,,,,13,26

Rapport,1,1,Physique,Concept,properties,9,9

Rapport,1,1,Physique,Physique,values,9,9

Rapport,1,1,Actant,Physique,owner,1,1

Rapport,1,1,Physique,Actant,cito:isCompiledBy,1,1

Rapport,2,2,Actant,Concept,properties,3,6

Rapport,2,2,Actant,Physique,values,3,6

Rapport,1,1,Physique,Physique,dcterms:isPartOf,1,1

Rapport,2,2,Physique,Concept,properties,10,20

Rapport,2,2,Physique,Physique,values,10,20

Rapport,2,2,Physique,Concept,skos:semanticRelation,3,6

Rapport,2,2,Physique,Physique,uri,1,2

Totaux de la complexité

Physique,2,1,2,24,38

Actant,2,1,2,2,3

Concept,2,1,2,22,35

Rapport,11,1,2,51,81

Existence,17,1,2,99,157