Шрифт:
Интервал:
Закладка:
356
Wikipedia contributors. (2019, March 26). Church–Turing thesis. In Wikipedia, The Free Encyclopedia. Retrieved 03:00, March 28, 2019, from https://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis
357
Herbrand J., van Heijenoort J., Goldfarb W. D. (2012). Logical Writings. Springer Netherlands // https://books.google.ru/books?id=zOXqCAAAQBAJ
358
Kreisel G. (1980). Kurt Godel. 28 April 1906 — 14 January 1978 / Biographical Memoirs of Fellows of the Royal Society, Vol. 26, pp. 148–224 // https://doi.org/10.1098/rsbm.1980.0005
359
Dawson J. (2005). Logical Dilemmas: The Life and Work of Kurt Gödel. Taylor & Francis // https://books.google.ru/books?id=gA8SucCU1AYC
360
Goldstein R. (2006). Incompleteness: The Proof and Paradox of Kurt Gödel (Great Discoveries). W. W. Norton // https://books.google.ru/books?id=tXk2AAAAQBAJ
361
Wang H. (1997). A Logical Journey: From Gödel to Philosophy. MIT Press // https://books.google.ru/books?id=pckvCy6L_ocC
362
Dawson J. (2005). Logical Dilemmas: The Life and Work of Kurt Gödel. Taylor & Francis // https://books.google.ru/books?id=gA8SucCU1AYC
363
Wang H. (1997). A Logical Journey: From Gödel to Philosophy. MIT Press // https://books.google.ru/books?id=pckvCy6L_ocC
364
Feferman S. (1998). In the Light of Logic // https://books.google.ru/books?id=AadVrcnschMC
365
Dawson J. (2005). Logical Dilemmas: The Life and Work of Kurt Gödel. Taylor & Francis // https://books.google.ru/books?id=gA8SucCU1AYC
366
Dawson J. (2005). Logical Dilemmas: The Life and Work of Kurt Gödel. Taylor & Francis // https://books.google.ru/books?id=gA8SucCU1AYC
367
Morgan D. F. (2008). Descendants of Sir John Turing and Henry Turing // https://www.mit.edu/~dfm/genealogy/turing.html
368
M'Kenzie H. (1850). The lay of the Turings: (A.D. 1316-1849.) A sketch of the family history, feebly conceived and imperfectly executed: now dedicated to the Chief with the sincerest respect and affection, by H. M'K // https://deriv.nls.uk/dcn23/9549/95491600.23.pdf
369
Тюрин Е. А. (2012). Сквозь пространство и время (к столетию Алана Тюринга) / Вестник государственного и муниципального управления. № 2 // https://cyberleninka.ru/article/n/skvoz-prostranstvo-i-vremya
370
Turing S. (2012). Alan M. Turing: Centenary Edition. Cambridge University Press // https://books.google.ru/books?id=07_ckaHY-2QC
371
Тюрин Е. А. (2012). Сквозь пространство и время (к столетию Алана Тюринга) / Вестник государственного и муниципального управления. № 2 // https://cyberleninka.ru/article/n/skvoz-prostranstvo-i-vremya
372
Hedron N. (2012). A Valentine Memoriam: Alan Turing + Christopher Morcom / The Turing Centenary (+ Bicentennial), February 13, 2012 // https://theturingcentenary.wordpress.com/2012/02/13/a-valentine-memoriam-alan-turing-christopher-morcom/
373
Тюрин Е. А. (2012). Сквозь пространство и время (к столетию Алана Тюринга) / Вестник государственного и муниципального управления. № 2 // https://cyberleninka.ru/article/n/skvoz-prostranstvo-i-vremya
374
Turing A. M. (1937). On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, s2-42(1), pp. 230–265 // https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf
375
Кокшотт У. П., Микаэльсон Г., Коттрел А. (2017). Бёттке, синтаксис и тест Тьюринга / Пер. с англ. Горлова А.В., Маркова С.С // https://22century.ru/popular-science-publications/boettke-syntax-and-the-turing-test
376
Rojas R. (1996). Konrad Zuse's Legacy: The Architecture of the Z1 and Z3 / IEEE Annals of the History of Computing, Vol. 19, No. 2, 1997 // http://page.mi.fu-berlin.de/rojas/1996/Konrad_Zuses_Legacy.pdf
377
Профессор Рауль Рохас, персональные коммуникации.
378
Bloch R. (1984-02-22). Oral history interview with Richard M. Bloch // https://conservancy.umn.edu/bitstream/handle/11299/107123/oh066rb.pdf
379
Dalakov G. The ENIAC of John Mauchly and John Eckert / History of Computers: hardware, software, internet… // https://history-computer.com/ModernComputer/Electronic/ENIAC.html
380
Sendov B. (2001). John Atanasoff. The Man Who Invented the Computer // https://web.archive.org/web/20180306172639/http://www.johnatanasoff.com:80/pride_in_Bulgaria.php
381
Атанасов Дж. (1985). До моята бащина земя // https://webstage.bg/istoriya/4187-do-moyata-bashtina-zemya-dzhon-atanasov.html
382
https://www.census.gov/prod/cen2010/cph-1-11.pdf
383
Taylor J. M. (1882). A College Algebra. Boston. Allyn and Bacon // https://books.google.ru/books?id=0wg_AQAAMAAJ
384
Mollenhoff C. R. (1988). Atanasoff: Forgotten Father of the Computer. Iowa State University Press // https://books.google.ru/books?id=n5omAAAAMAAJ
385
Howarth R. J. (2017). Dictionary of Mathematical Geosciences: With Historical Notes. Springer International Publishing // https://books.google.ru/books?id=MNwlDwAAQBAJ
386
Mobley B. P. (2001). The ingenuity of common workmen: and the invention of the computer. Retrospective Theses and Dissertations. 660. Iowa State University // https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1659&context=rtd
387
Соловьёва О. (2000). Водяные вычислительные машины / Наука и жизнь. № 4 // https://www.nkj.ru/archive/articles/7033/
388
Smiley J. (2010). The Man Who Invented the Computer. Knopf Doubleday Publishing Group // https://books.google.ru/books?id=3ImIFEZrDjYC
389
Burton T. (2006). World Changer: Atanasoff and the Computer. Tangra TanNakRa // https://books.google.ru/books?id=1YMfAQAAIAAJ
390
* Тиратрон — ионный (газоразрядный) прибор для управления электрическим током с помощью напряжений, поданных на его электроды.
391
Burks A. R., Burks A. W. (1989). The First Electronic Computer: The Atanasoff Story. University of Michigan Press // https://books.google.ru/books?id=_Zja6hoP4psC
392
da Cruz F. Programming the ENIAC / Columbia University Computing History: A Chronology of Computing at Columbia University // http://www.columbia.edu/cu/computinghistory/eniac.html
393
Dalakov G. The ABC of John Atanasoff and Clifford Berry / History of Computers: hardware, software, internet… // https://history-computer.com/ModernComputer/Electronic/Atanasoff.html
394
Alt F. L. (1972). Archaelogy of computers: reminiscences, 1945–1947 / Communications of the ACM, Vol. 15, Iss. 7, pp. 693–694 // https://doi.org/10.1145/361454.361528
395
Grier D. (2004). From the Editor's Desk / IEEE Annals of the History of Computing, Vol. 26, Iss. 3, pp. 2–3 // https://doi.org/10.1109/MAHC.2004.9
396