Бібліографія

Аспрей, Вільям. 1984 рік. Математичне співтовариство Прінстона в 1930-х роках: Церква Алонзо. URL-адреса http://www.princeton.edu/mudd/findin...oral/pmc05.htm. Інтерв'ю.

Бааз, Маттіас, Крістос Х. Пападімітріу, Хіларі В. Патнам, Дана Скотт, і Чарльз Харпер-молодший 2011. Курт Гедель та основи математики: горизонти істини. Кембридж: Кембриджський університетський прес.

Бенасерраф, Пол. 1965 рік. Яких цифр не могло бути. Філософський огляд 74 (1): 47—73.

Кантор, Георг. 1892 р. Інші елементи є Фраж дер Маннігфальтігскейтслехре. Яхресберихт дер німецький математик-нереінігунг 1:75—8.

Ченг, Євгенія. 2004 рік. Як писати докази: Короткий посібник. URL-адреса http://cheng.staff.shef.ac.uk/proofg...proofguide.pdf.

Церква, Алонцо. 1936а. Примітка про проблему Енсхедунгса. Журнал символічної логіки 1:40—41.

Церква, Алонцо. 1936р. Нерозв'язна задача елементарної теорії чисел. Американський журнал математики 58:345—363.

Коркоран, Джон. 1983 рік. Логіка, семантика, метаматематика. Індіанаполіс: Хакетт, 2-е видання.

Добен, Йосип. 1990 рік. Георг Кантор: Його математика та філософія нескінченного. Принстон: Преса Прінстонського університету.

Дік, Огюст. 1981 рік. Еммі Нетер 1882—1935. Бостон: Біркхойзер.

дю Саутуа, Маркус. 2014 рік. Коротка історія математики: Георг Кантор. URL-адреса http://www.bbc.co.uk/programmes/b00ss1j0. Аудіозапис.

Дункан, Арлін. 2015 рік. Дослідницький центр Бертрана Рассела. URL-адреса http://russell.mcmaster.ca/.

Еббінгаус, Хайнц-Дітер. 2015 рік. Ернст Зермело: Підхід до його життя і роботи. Берлін: Спрінгер-Верлаг.

Еббінгаус, Хайнц-Дітер, Крейг Фрейзер та Акіхіро Канаморі. 2010 рік. Ернст Цермело. Зібрання творів, т. 1. Берлін: Спрінгер-Верлаг.

Еббінгаус, Хайнц-Дітер та Акіхіро Канаморі. 2013 рік. Ернст Цермело: Зібрання творів, том 2. Берлін: Спрінгер-Верлаг.

Ендертон, Герберт Б. 2019. Церква Алонзо: життя і робота. У зібранні творів церкви Алонзо, ред. Тайлер Бердж і Герберт Б. Ендертон. Кембридж, Массачусетс: MIT Press.

Феферман, Аніта та Соломон Феферман. 2004 рік. Альфред Тарський: Життя і логіка. Кембридж: Кембриджський університетський прес.

Феферман, Соломон, Джон Доусон-молодший, Стівен Клін, Ґреґорі Мур, Роберт Соловей та Жан ван Хейдженорт. 1986 рік. Курт Гедель: Зібрання творів. Том 1: Публікації 1929—1936 рр. Оксфорд: Преса Оксфордського університету.

Феферман, Соломон, Джон Доусон-молодший, Стівен Клін, Ґреґорі Мур, Роберт Соловей та Жан ван Хейдженорт. 1990 рік. Курт Гедель: Зібрання творів. Том 2: Публікації 1938—1974 рр. Оксфорд: Преса Оксфордського університету.

Фреж, Готлоб. 1884 р. Грундлаген арифметики: Одна логічна математика Untersuchung über den Begriff der Zahl. Бреслау: Вільгельм Кобнер. Переклад на Фреге (1953).

Фреге, Готлоб. 1953 р. Основи арифметики, під ред. Остіна Дж. Оксфорд: Василь Блеквелл і Мотт, 2-е видання.

Фрей, Холлі та Трейсі Вілсон. 2015 рік. Матеріал, який ви пропустили в класі історії: Еммі Нетер, математика trailblazer. URL-адреса http://www.missedinhistory.com/podca...s-trailblazer/. Аудіо подкаст.

Гентцен, Герхард. 1935 р. Унтерсуйнген убер дас логічне Шліссена І. Математичний журнал 39:176—210. Переклад англійською мовою в Сабо (1969), с. 68—131.

Гентцен, Герхард. 1935 р. Унтерсунг убер дас логічне Шліссена II. Математичний журнал 39: 176—210, 405-431. Переклад англійською мовою в Сабо (1969), с. 68—131.

Гедель, Курт. 1929 р. Über die Vollständigkeit des Logikkalküls [Про повноту числення логіки]. Дисертація, Віденський університет. Передруковано та перекладено у Феферман та співавт. (1986), с. 60—101.

Гедель, Курт. 1931. про формальні невирішувані положення Sätze der Principia Mathematica und Verwandter Systeme I [Про формально невирішувані пропозиції Principia Mathematica та споріднених систем I]. Монастир математики і фізики 38:173—198. Передруковано та перекладено у Феферман та співавт. (1986), с. 144—195.

Граттан-Гіннес, Айвор. 1971 рік. На шляху до біографії Георга Кантора. Літопис науки 27 (4): 345—391.

Хаммак, Річард. 2013 рік. Книга доказів. Річмонд, Вірджинія: Університет Співдружності Вірджинії. URL-адреса http://www.people.vcu.edu/~rhammack/...ookOfProof.pdf.

Ходжес, Ендрю. 2014 рік. Алан Тьюринг: Енігма. Лондон: Вінтаж.

Хатчингс, Майкл. 2003 рік. Введення в математичні аргументи. URL-адреса https://math.berkeley.edu/~hutching/teach/proofs.pdf.

Інститут, Периметр. 2015 р. Еммі Нетер: Її життя, робота та вплив. URL-адреса https://www.youtube.com/watch?v=tNNyAyMRsgE. Відео-лекція.

Ірвін, Ендрю Девід. 2015 рік. Звукові кліпи Бертрана Рассела, що говорить. URL-адреса http://plato.stanford.edu/entries/ru...oundclips.html.

Джейкобсон, Натан. 1983 р. Еммі Нетер: Збірні папери. Берлін: Спрінгер-Верлаг.

Джон Доусон-молодший 1997. Логічні дилеми: життя і робота Курта Геделя. Бока-Ратон: Прес CRC.

LibriVox. н.д. Бертран Рассел. URL-адреса https://librivox.org/author/1508?pri...rm=get_results. Колекція аудіокниг у суспільному надбанні.

Лінсенмайер, Марк. 2014 рік. Частково досліджене життя: Гедель з математики. URL-адреса http://www.partiallyexaminedlife.com...16/ep95-godel/. Аудіо подкаст.

Макфарлейн, Джон. 2015 рік. Відгуки JSL церкви Алонцо. URL-адреса http://johnmacfarlane.net/church.html.

Менцлер-Тротт, Екарт. 2007 рік. Втрачений геній логіки: Життя Герхарда Гентцена. Провидіння: Американське математичне товариство.

Поттер, Майкл. 2004 рік. Теорія множин та її філософія. Оксфорд: Преса Оксфордського університету.

Радіолаб, 2012. Проблема Тьюринга. URL-адреса http://www.radiolab.org/story/193037-turing-problem/. Аудіо подкаст.

Роза, Даніель. 2012 рік. Пісня про Георга Кантора. URL-адреса https://www.youtube.com/watch?v=QUP5Z4Fb5k4. Аудіозапис.

Рассел, Бертран. 1905 р. На позначенні. Розум 14:479—493.

Рассел, Бертран. 1967 рік. Автобіографія Бертрана Рассела, том 1. Лондон: Аллен і Унвін.

Рассел, Бертран. 1968 рік. Автобіографія Бертрана Рассела, том 2. Лондон: Аллен і Унвін.

Рассел, Бертран. 1969 рік. Автобіографія Бертрана Рассела. том 3. Лондон: Аллен і Унвін.

Рассел, Бертран. н.д. Бертран Рассел на куріння. URL-адреса https://www.youtube.com/watch?v=80oLTiVW_lc. Відео інтерв'ю.

Сендструм, Тед. 2019 рік. Математичне міркування: написання та доказ. Аллендейл, Мічиган: Державний університет Гранд-Веллі. URL-адреса https://scholarworks.gvsu.edu/books/7/.

Сігал, Сенфорд Л. 2014. Математики за часів нацистів. Принстон: Преса Прінстонського університету.

Зигмунд, Карл, Джон Доусон, Курт Мюльбергер, Ганс Магнус Енценсбергер та Джульєтта Кеннеді. 2007 рік. Курт Гедель: Альбом Das — Альбом. Математичний інтелектор 29 (3): 73—76.

Сміт, Пітер. 2013 рік. Вступ до теорем Геделя. Кембридж: Кембриджський університетський прес.

Солоу, Даніель. 2013 рік. Як читати і робити докази. Хобокен, Нью-Джерсі: Уайлі.

Стейнхарт, Ерік. 2018 рік. Точніше: Математика, яка вам потрібна для філософії. Пітерборо, Онтаріо: Бродв'ю, 2-е видання.

Сайкс, Крістофер. 1992 рік. BBC Horizon: Дивне життя і смерть доктора Тьюринга. URL-адреса https://www.youtube.com/watch?v=gyusnGbBSHE.

Сабо, Манфред Е. 1969. Зібрані статті Герхарда Гентцена. Амстердам: Північна Голландія.

Такеуті, Гайсі, Ніколас Пасселл та Маріко Ясугі. 2003 рік. Спогади теоретика доказів: Гедель та інші логіки. Сінгапур: Світова наукова.

Тарський, Альфред. 1981 рік. Зібрання творів Альфреда Тарського, вип. I—IV. Базель: Біркхойзер.

Тілен, Андре. 2012 рік. LEGO машина Тьюринга. URL-адреса https://www.youtube.com/watch?v=FTSAiF9AHN4.

Тьюринг, Алан М. 1937. На обчислюваних числах, з додатком до «Entscheidungsproblem». Праці Лондонського математичного товариства, 2-я серія 42:230—265.

Тилдум, Мортен. 2014 рік. Імітація гри. Кінокартина.

Веллеман, Даніель Дж. 2019. Як це довести: Структурований підхід. Кембридж: Кембриджський університетський прес, 3-е видання.

Ван, Хао. 1990 рік. Роздуми про Курта Геделя. Кембридж: Преса MIT.

Цермело, Ернст. 1904 р. Наприклад, daß jede Менге wohlgordnet дружніх людей. Математичні Аннален 59:514—516. Переклад англійською мовою (Еббінгаус та співавт., 2010, с. 115—119).

Цермело, Ернст. 1908 р. Untersuchungen über die Грундлаген дер Менгенлере I. Математичне видання 65 (2): 261—281. Переклад англійською мовою (Еббінгаус та ін., 2010, с. 189-229).