{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:39Z","timestamp":1750307919576,"version":"3.41.0"},"reference-count":13,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2006,12,1]],"date-time":"2006-12-01T00:00:00Z","timestamp":1164931200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGACT News"],"published-print":{"date-parts":[[2006,12]]},"abstract":"<jats:p>\n            I will start with a brief biographical sketch. Kurt G\u00f6del was born in Brno (\n            <jats:italic>Br\u00fcn<\/jats:italic>\n            in German) in April 28, 1906. At that time it was in the Czech Kingdom which was a part of Austro-Hungarian Monarchy. Not much later, in 1918, Brno was a city in the new formed Czechoslovakia. His family belonged to a large German-speaking population in Brno.\n          <\/jats:p>","DOI":"10.1145\/1189056.1189058","type":"journal-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T18:32:02Z","timestamp":1169058722000},"page":"13-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["G\u00f6del and computations"],"prefix":"10.1145","volume":"37","author":[{"given":"Pavel","family":"Pudl\u00e1k","sequence":"first","affiliation":[]}],"member":"320","published-online":{"date-parts":[[2006,12]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/800116.803756"},{"volume-title":"Ohio State Univ.","year":"1979","author":"Friedman H.","key":"e_1_2_1_2_1"},{"key":"e_1_2_1_3_1","unstructured":"K. G\u00f6del \u00dcber die Vollst\u00e4ndigkeit des Logikkalk\u00fcl. Dissertation Universit\u00e4t Wien 1929.  K. G\u00f6del \u00dcber die Vollst\u00e4ndigkeit des Logikkalk\u00fcl. Dissertation Universit\u00e4t Wien 1929."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01700692"},{"key":"e_1_2_1_5_1","unstructured":"K. G\u00f6del \u00dcber die L\u00e4nge von Beweisen. Ergebnisse eines mathematischen Kolloquiums 7 1936 23--24.  K. G\u00f6del \u00dcber die L\u00e4nge von Beweisen. Ergebnisse eines mathematischen Kolloquiums 7 1936 23--24."},{"key":"e_1_2_1_6_1","first-page":"2003","author":"G\u00f6del K.","year":"1986","journal-title":"Oxford"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.1981.10004"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274765"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19900360106"},{"key":"e_1_2_1_10_1","unstructured":"J. Malina J. Novotn\u00fd editors Kurt G\u00f6del. UNIVERSITAS MASARYKIANA FOUNDATION 1996.  J. Malina J. Novotn\u00fd editors Kurt G\u00f6del. UNIVERSITAS MASARYKIANA FOUNDATION 1996."},{"key":"e_1_2_1_11_1","first-page":"196","article-title":"On the length of proofs of finitistic consistency statements in first order theories, in Logic Colloquium'84, eds. J. B. Paris, A. J. Wilkie and G. M. Wilmers","volume":"165","author":"Pudl\u00e1k P.","year":"1986","journal-title":"North-Holland"},{"key":"e_1_2_1_12_1","doi-asserted-by":"crossref","unstructured":"C. Smory\u0144ski Logical Number Theory I An Introduction. Springer-Verlag 1991.  C. Smory\u0144ski Logical Number Theory I An Introduction. Springer-Verlag 1991.","DOI":"10.1007\/978-3-642-75462-3"},{"volume-title":"World Scientific","year":"2003","author":"Yasugi M.","key":"e_1_2_1_13_1"}],"container-title":["ACM SIGACT News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1189056.1189058","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1189056.1189058","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:51:31Z","timestamp":1750258291000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1189056.1189058"}},"subtitle":["a 100th anniversary retrospective"],"short-title":[],"issued":{"date-parts":[[2006,12]]},"references-count":13,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2006,12]]}},"alternative-id":["10.1145\/1189056.1189058"],"URL":"https:\/\/doi.org\/10.1145\/1189056.1189058","relation":{},"ISSN":["0163-5700"],"issn-type":[{"type":"print","value":"0163-5700"}],"subject":[],"published":{"date-parts":[[2006,12]]},"assertion":[{"value":"2006-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}