Съдържание
4 отношения: Тест на Тюринг, Тезис на Чърч, Хилари Пътнам, Математическа логика.
Тест на Тюринг
Тестът на Тюринг е тест, предложен от британския математик Алан Тюринг през 1950 г.
Тезис на Чърч
Тезисът на Чърч (също като Тезис на Чърч-Тюринг или Теза на Чърч-Тюринг), по името на американския логик Алонсо Чърч и Тюринг, в теория на изчислимостта е комбинирана хипотеза („тезис“) за природата на ефективно изчислимите функции чрез рекурсия (тезис на Чърч), чрез механичен способ, еквивалентен на машина на Тюринг (тезис на Тюринг) или чрез употреба на ламбда-изчисление на Чърч.
Хилари Пътнам
Хилари Уайтхол Пътнам (Hilary Whitehall Putnam), понякога на български и като Хилъри Пътнъм (роден 31 юли 1926 г.) е американски философ, който е бил централна фигура в аналитичната философия от 60-те години на 20 век, особено във философия на ума, философия на езика и философия на науката.
Математическа логика
Математическата логика е дял от математиката, съвременна форма на формалната логика.