Hilbert's program ^{en}
In mathematics, Hilbert's program, formulated by German mathematician David Hilbert, was a proposed solution to the foundational crisis of mathematics, when early attempts to clarify the foundations of mathematics were found to suffer from paradoxes and inconsistencies. As a solution, Hilbert proposed to ground all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent. Hilbert proposed that the consistency of more complicated systems, such as real analysis, could be proven in terms of simpler systems. Ultimately, the consistency of all of mathematics could be reduced to basic arithmetic. Gödel's incompleteness theorems, published in 1931, showed that Hilbert's program was unattainable for key areas of mathematics. In his first theorem, Gödel showed that any consistent system with a computable set of axioms which is capable of expressing arithmetic can never be complete: it is possible to construct a statement that can be shown to be true, but that cannot be derived from the formal rules of the system. [  ]
Freebase Commons Metaweb System Types /type
 
 Hilbert's program
 /wikipedia/en_id/607286
 /wikipedia/en/Hilbert$0027s_Program
 /en/hilberts_program
 /wikipedia/de_id/444832
 /wikipedia/fr_id/1000952
 /wikipedia/pt_id/67453
 /wikipedia/de/Hilbertprogramm
 /wikipedia/ja/$30D2$30EB$30D9$30EB$30C8$30FB$30D7$30ED$30B0$30E9$30E0
 /wikipedia/fr/Programme_de_Hilbert
 /wikipedia/ja_id/9565
 /wikipedia/pt/Programa_de_Hilbert
 /wikipedia/ja_title/$30D2$30EB$30D9$30EB$30C8$30FB$30D7$30ED$30B0$30E9$30E0
 /wikipedia/pt_title/Programa_de_Hilbert
 /wikipedia/zhcn_title/$5E0C$5C14$4F2F$7279$8BA1$5212
 /wikipedia/he/$05D4$05EA$05D5$05DB$05E0$05D9$05EA_$05E9$05DC_$05D4$05D9$05DC$05D1$05E8$05D8
 /wikipedia/zhtw_id/206729
 /wikipedia/nl_id/1659106
 /wikipedia/de/HilbertProgramm
 /wikipedia/he/$05EA$05D5$05DB$05E0$05D9$05EA_$05D4$05D9$05DC$05D1$05E8$05D8
 /wikipedia/fa_title/$0628$0631$0646$0627$0645$0647_$0647$06CC$0644$0628$0631$062A
 /wikipedia/he_title/$05EA$05D5$05DB$05E0$05D9$05EA_$05D4$05D9$05DC$05D1$05E8$05D8
 /wikipedia/de/Hilberts_Programm
 /wikipedia/ja/$30D2$30EB$30D9$30EB$30C8$30D7$30ED$30B0$30E9$30E0
 /wikipedia/fa/$0628$0631$0646$0627$0645$0647_$0647$064A$0644$0628$0631$062A
 /wikipedia/nl/Programma_van_Hilbert
 /wikipedia/nl_title/Programma_van_Hilbert
 /wikipedia/he_id/819303
 /wikipedia/zhtw/$5E0C$5C14$4F2F$7279$65B9$6848
 /wikipedia/pt/Programa_de_hilbert
 /wikipedia/id_title/Program_Hilbert
 /wikipedia/id/Program_Hilbert
 /wikipedia/id_id/1436297
 /wikipedia/zhcn/$5E0C$723E$4F2F$7279$8A08$5283
 /wikipedia/zhcn/$5E0C$723E$4F2F$7279$65B9$6848
 /wikipedia/it_id/1363265
 /wikipedia/es/Programa_de_Hilbert
 /wikipedia/he/$05EA$05DB$05E0$05D9$05EA_$05D4$05D9$05DC$05D1$05E8$05D8
 /wikipedia/en_title/Hilbert$0027s_program
 /wikipedia/zhtw/$5E0C$723E$4F2F$7279$65B9$6848
 /wikipedia/fa/$0628$0631$0646$0627$0645$0647_$0647$06CC$0644$0628$0631$062A
 /wikipedia/en/Hilbert_program
 /wikipedia/sk/Hilbertov_program
 /wikipedia/fa/$0628$0631$0646$0627$0645$0647$0654_$0647$06CC$0644$0628$0631$062A
 /wikipedia/en/Hilbert_Program
 /wikipedia/it_title/Programma_di_Hilbert
 /wikipedia/cs_title/Hilbert$016Fv_program
 /wikipedia/es_title/Programa_de_Hilbert
 /wikipedia/he/$05D4$05E4$05E8$05D5$05D2$05E8$05DE$05D4_$05E9$05DC_$05D4$05D9$05DC$05D1$05E8$05D8
 /wikipedia/ar_id/1161087
 /wikipedia/es_id/3587734
 /wikipedia/sk_title/Hilbertov_program
 /wikipedia/zhcn/$5E0C$5C14$4F2F$7279$8BA1$5212
 /wikipedia/sk_id/99403
 /wikipedia/it/Programma_di_Hilbert
 /wikipedia/cs/Hilbert$016Fv_program
 /wikipedia/zhcn/$5E0C$5C14$4F2F$7279$65B9$6848
 /wikipedia/fa_id/66083
 /wikipedia/de/Hilberts_zweites_Problem
 /wikipedia/fr/Programme_de_hilbert
 /wikipedia/ar_title/$0628$0631$0646$0627$0645$062C_$0647$064A$0644$0628$0631$062A
 /wikipedia/zhcn_id/206729
 /wikipedia/fr_title/Programme_de_Hilbert
 /wikipedia/ar/$0628$0631$0646$0627$0645$062C_$0647$064A$0644$0628$0631$062A
 /wikipedia/en/Hilbert$0027s_program
 /wikipedia/zhtw_title/$5E0C$5C14$4F2F$7279$8BA1$5212
 /wikipedia/de_title/Hilbertprogramm
 /wikipedia/cs_id/233669
 /wikipedia/zhtw/$5E0C$5C14$4F2F$7279$8BA1$5212
 /wikipedia/fa/$0628$0631$0646$0627$0645$0647$0654_$0647$064A$0644$0628$0631$062A
 /wikipedia/zhtw/$5E0C$723E$4F2F$7279$8A08$5283
 /wikipedia/en/Hilbert$0027s_programme
 
 希尔伯特计划 ^{zhTW}
 
 
 http://fr.wikipedia.org/wiki/index.html?curid=1000952
 http://pt.wikipedia.org/wiki/index.html?curid=67453
 http://ja.wikipedia.org/wiki/index.html?curid=9565
 http://it.wikipedia.org/wiki/Programma_di_Hilbert
 http://de.wikipedia.org/wiki/Hilbertprogramm
 http://ja.wikipedia.org/wiki/ヒルベルト・プログラム
 http://en.wikipedia.org/wiki/Hilbert's_program
 http://zh.wikipedia.org/zhcn/希尔伯特计划
 http://es.wikipedia.org/wiki/index.html?curid=3587734
 http://fa.wikipedia.org/wiki/index.html?curid=66083
 
 
 
 
 
 

 
 