Работим за възстановяване на приложението Unionpedia в Google Play Store
ИзходящIncoming
🌟Упростихме нашия дизайн за по-добра навигация!
Instagram Facebook X LinkedIn

Тюринг

Index Тюринг

#виж Алън Тюринг.

Съдържание

  1. 4 отношения: Тест на Тюринг, Тезис на Чърч, Хилари Пътнам, Математическа логика.

Тест на Тюринг

Тестът на Тюринг е тест, предложен от британския математик Алан Тюринг през 1950 г.

Виж Тюринг и Тест на Тюринг

Тезис на Чърч

Тезисът на Чърч (също като Тезис на Чърч-Тюринг или Теза на Чърч-Тюринг), по името на американския логик Алонсо Чърч и Тюринг, в теория на изчислимостта е комбинирана хипотеза („тезис“) за природата на ефективно изчислимите функции чрез рекурсия (тезис на Чърч), чрез механичен способ, еквивалентен на машина на Тюринг (тезис на Тюринг) или чрез употреба на ламбда-изчисление на Чърч.

Виж Тюринг и Тезис на Чърч

Хилари Пътнам

Хилари Уайтхол Пътнам (Hilary Whitehall Putnam), понякога на български и като Хилъри Пътнъм (роден 31 юли 1926 г.) е американски философ, който е бил централна фигура в аналитичната философия от 60-те години на 20 век, особено във философия на ума, философия на езика и философия на науката.

Виж Тюринг и Хилари Пътнам

Математическа логика

Математическата логика е дял от математиката, съвременна форма на формалната логика.

Виж Тюринг и Математическа логика