??? ????

??? ????
( ???? ?? : Kurt Friedrich Godel )


??????? ???	( ???? ?? : Kurt Friedrich Godel )
??	28 ????? 1906 ^[?]^[?]^[?]^[?]^[?]^[?]^[?] ???? ^[?]^[?]^[?]^[??]
????	14 ????? 1978 (72 ???) ^[?]^[??]^[?]^[?]^[?]^[?]^[?] ??????? ??? ???? ^[??]
????	?????? ??????? ^[??]
??? ????	?????? ^[??]
?????	??????
?????	?????? (????? ??????? ????? ????) ^[??] ?????? (?????) ??????????? (?????????)
???	???? ??????? ? ?????? ?????? ????? ????? ? ???? ? ?????? ?????? ? ???? ?????? ????? ?????
???? ?????
???? ????	????????? ?? ????? (?????????) ^[??]
????	????? ??? ^[??]^[?]^[??]? ????? ^[??]^[?]^[??]? ????? ????? ? ??????? ????? ??? ? ??????? ??? ^[?]? ????????
????? ????	????
???? ????? ????	???? ^[??]^[??]? ??????? ^[??]^[??]^[??]
???? ???	??? ?????? ? ???????? ???? ^[??]? ????? ^[??]? ???? ^[??]? ????? ?????? ^[??]? ???? ^[??]? ?????? ^[??]
??????	?????? ????????? ^[??]? ????????? ?? ????? ^[??]? ????????? ?? ??????? ^[??]? ????? ???? ?? ??????? ???? ^[??]
??????? ??????	Godel's incompleteness theorems
???????
???? ???? ????? ????? (????) ^[??] ????????? ?? ????? ?? ?????? ?????
?????



?????

??? ???? [ ????? ]

??? ???? ?????? ?????? ???? ??? ? ????? ??? ?? ????? ??? ??? 28 ????? 1906? ????? ??????-????? ?? ???? ????? ????? ??? ???? ?? ??? ??? ?????? ???? ?? ???? 1931? ?? ????? ??? ??? 25 ??? ?? ?? ?? ?? ?? ????? ????? ??? ???? ???????? ?????? (Godel's incompleteness theorems) ???? ??? ?????

??? ????? [ ????? ]

????????? ????

????? [ ????? ]

↑ ^?.? ^?.? ????? ????: Creative Commons CC0 License
↑ ^?.? ^?.? ????: John O'Connor ?? Edmund Robertson ????? ????: Invalid <ref> tag; name "49fdb5fe81b8355b0a67fc010bab1d0476734c67" defined multiple times with different content
↑ ^?.? ^?.? SNAC ARK ID: https://snaccooperative.org/ark:/99166/w6254jvh ? subject named as: Kurt Godel ? ??? ??? ??????: ? ?????? ????
↑ ^?.? ^?.? Find a Grave memorial ID: https://www.findagrave.com/memorial/25996503 ? subject named as: Kurt Godel ? ??? ??? ??????: ? ?????? ????
↑ ^?.? ^?.? Brockhaus Enzyklopadie online ID: https://brockhaus.de/ecs/enzy/article/godel-kurt ? subject named as: Kurt Godel
↑ ^?.? ^?.? ??? ?? ?? ?? ?? ?? ?? ??? ??: https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=jn20000602196 ? ??? ??? ??????: ?? ????? ????
↑ ^?.? ^?.? Gran Enciclopedia Catalana ID (former scheme): https://www.enciclopedia.cat/ec-gec-0030307.xml ? subject named as: Kurt Godel ? ????? : Gran Enciclopedia Catalana ? ????: Grup Enciclopedia
↑ ????? ????: Creative Commons CC0 License
↑ ^?.? ^?.? ^?.? ^?.? https://cs.isabart.org/person/35434 ? ??? ??? ??????: ? ????? ????
↑ ^??.? ^??.? https://aleph.vkol.cz/F/?func=find-c&ccl_term=sys=000010803&local_base=svk04 ? ??? ??? ??????: ? ????? ???? ? ????: Research Library in Olomouc
↑ http://data.bnf.fr/ark:/12148/cb12133987b ? ??? ??? ??????: ?? ?????? ???? ? ????: Bibliotheque nationale de France ? ????? ????: Open License
↑ ????? ????: Creative Commons CC0 License
↑ http://www.cemeteryregister.com/search.asp?id=NJ_PRINCETON
↑ ^??.? ^??.? ^??.? ^??.? ^??.? ^??.? ????: John O'Connor ?? Edmund Robertson
↑ https://plato.stanford.edu/entries/goedel/#BioSke
↑ ^??.? ^??.? BeWeb person ID: https://www.beweb.chiesacattolica.it/persone/persona/3851/ ? ??? ??? ??????: ?? ????? ????
↑ ??? ?? ?? ?? ?? ?? ?? ??? ??: https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=jn20000602196 ? ??? ??? ??????: ?? ????? ????
↑ ^??.? ^??.? ??? ?? ?? ?? ?? ?? ?? ??? ??: https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=jn20000602196 ? ??? ??? ??????: ? ???? ????
↑ ^??.? ^??.? CONOR.SI ID: https://plus.cobiss.net/cobiss/si/sl/conor/127009123
↑ http://data.bnf.fr/ark:/12148/cb12133987b ? ??? ??? ??????: ?? ?????? ???? ? ????: Bibliotheque nationale de France ? ????? ????: Open License
↑ ^??.? ^??.? ^??.? ^??.? ^??.? ^??.? ??? ?? ?? ?? ?? ?? ?? ??? ??: https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=jn20000602196 ? ??? ??? ??????: ? ????? ????
↑ https://www.nndb.com/people/550/000091277/#FN1

?????:???? ??? ???? ??? ????

[abc9457dcf728dd069b8ed5b2e1a86035cf2b679-1] ?.? ^?.? ????? ????: Creative Commons CC0 License

[49fdb5fe81b8355b0a67fc010bab1d0476734c67-2] ?.? ^?.? ????: John O'Connor ?? Edmund Robertson ????? ????: Invalid <ref> tag; name "49fdb5fe81b8355b0a67fc010bab1d0476734c67" defined multiple times with different content

[5bd12a4b453503ee91d6c5f8b309ead34538a3ef-3] ?.? ^?.? SNAC ARK ID: https://snaccooperative.org/ark:/99166/w6254jvh ? subject named as: Kurt Godel ? ??? ??? ??????: ? ?????? ????

[2aa14bd0dc010d87d9379621721838009228cad9-4] ?.? ^?.? Find a Grave memorial ID: https://www.findagrave.com/memorial/25996503 ? subject named as: Kurt Godel ? ??? ??? ??????: ? ?????? ????

[8ae385287d8b7d76a05907f182e7e48e99c5b02f-5] ?.? ^?.? Brockhaus Enzyklopadie online ID: https://brockhaus.de/ecs/enzy/article/godel-kurt ? subject named as: Kurt Godel

[d0ab031451084a9adcfc511706b347d8852e81ed-6] ?.? ^?.? ??? ?? ?? ?? ?? ?? ?? ??? ??: https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=jn20000602196 ? ??? ??? ??????: ?? ????? ????

[835be4d9201602d39ad1124fa683a6fc0d87932c-7] ?.? ^?.? Gran Enciclopedia Catalana ID (former scheme): https://www.enciclopedia.cat/ec-gec-0030307.xml ? subject named as: Kurt Godel ? ????? : Gran Enciclopedia Catalana ? ????: Grup Enciclopedia

[205eabda4a2cf7d4f8ede558f514fc289fb74afd-8] ????? ????: Creative Commons CC0 License

[357abbefab73c9bf9b0de41268d792189c56c6fa-9] ?.? ^?.? ^?.? ^?.? https://cs.isabart.org/person/35434 ? ??? ??? ??????: ? ????? ????

[0328b9830f84476add7a6a445dc5bade78713990-10] ??.? ^??.? https://aleph.vkol.cz/F/?func=find-c&ccl_term=sys=000010803&local_base=svk04 ? ??? ??? ??????: ? ????? ???? ? ????: Research Library in Olomouc

[d3fde4832a045633fef10123182d6f0ed06a1b59-11] ttp://data.bnf.fr/ark:/12148/cb12133987b ? ??? ??? ??????: ?? ?????? ???? ? ????: Bibliotheque nationale de France ? ????? ????: Open License

[503c8b8879ebe3e0e1614b921627708c0b8228ca-12] ????? ????: Creative Commons CC0 License

[19c1cdc5649c5807b81b5c6502f1298d77d4e23a-13] ttp://www.cemeteryregister.com/search.asp?id=NJ_PRINCETON

[6ddba9745c61aed5f408b43b8b430b317e2f26a4-14] ??.? ^??.? ^??.? ^??.? ^??.? ^??.? ????: John O'Connor ?? Edmund Robertson

[6c6c18d1cf1c8b9ce759716bf5d6bb6d45105fef-15] ttps://plato.stanford.edu/entries/goedel/#BioSke

[d932f5f911b6a2fb418717f1e5ff25827c466c57-16] ??.? ^??.? BeWeb person ID: https://www.beweb.chiesacattolica.it/persone/persona/3851/ ? ??? ??? ??????: ?? ????? ????

[055815465d7455161a019914cd52a1d1ca2a9458-17] ??? ?? ?? ?? ?? ?? ?? ??? ??: https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=jn20000602196 ? ??? ??? ??????: ?? ????? ????

[acb6f16432cbdd96bec3483e7a57a4b9abbd12c7-18] ??.? ^??.? ??? ?? ?? ?? ?? ?? ?? ??? ??: https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=jn20000602196 ? ??? ??? ??????: ? ???? ????

[efe64613da82f36c95fbfca75ad1d88081d9ad87-19] ??.? ^??.? CONOR.SI ID: https://plus.cobiss.net/cobiss/si/sl/conor/127009123

[bfbc65fdade08012dfc2948b8614fb8afddb3f7e-20] ttp://data.bnf.fr/ark:/12148/cb12133987b ? ??? ??? ??????: ?? ?????? ???? ? ????: Bibliotheque nationale de France ? ????? ????: Open License

[83873baa3fd1af37b0976c0e9b09d039a070da36-21] ??.? ^??.? ^??.? ^??.? ^??.? ^??.? ??? ?? ?? ?? ?? ?? ?? ??? ??: https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=jn20000602196 ? ??? ??? ??????: ? ????? ????

[3ee00c54a8f52b2c8af9335a64b2d45003ad63eb-22] ttps://www.nndb.com/people/550/000091277/#FN1

[?]

[?]

[?]

[?]

[?]

[?]

[?]

[?]

[?]

[??]

[??]

[??]

[??]

[??]

[??]

[??]

[??]

[??]

[??]

[??]

[??]

[??]