Математиците

Час линия Снимки Пари Марки Скица Търся

Stephen Cole Kleene

Дата на раждане:

Родно място:

Дата на смъртта:

Място на смърт:

5 Jan 1909

Hartford, Connecticut, USA

25 Jan 1994

Madison, Wisconsin, USA

Представяне
ВНИМАНИЕ - Автоматичен превод от английски език

Стивън C Kleene учи за първа степен на Amherst колеж. Той продължи да получава докторска степен от университета в Принстън през 1934 г., контролирани от Църквата, за дисертация, озаглавено Теория на позитивната числа в Официално логика. Kleene След това преподава в Принстън, докато той се присъедини към Университета на Уисконсин в Медисън през 1935. Той стана пълноправен професор в Университета на Уисконсин в Медисън през 1948 г. и остана на персонала там, докато той пенсионираните през 1979 година.

Kleene на научните изследвания е по теория на алгоритмите и recursive функции. Той развива областта на теорията с рекурсивно църква, Gödel, Тюринг и др. Той допринесе за математически Intuitionism, който е бил основан от Brouwer.

Работата му върху рекурсивно теория помогна да предостави на основите на теоретичната информатика. Чрез предоставяне на методите за определяне на проблемите, които са разтворими, Kleene работата доведе до изследването на функции, които могат да бъдат изчислени.

На лекция в университета в Чикаго през 1995 г., Робърт Soare, описана работата му в тези условия:

Kleene на формулиране на computable функция чрез шест schemata е един от най-кратка и полезна, както и предишна негова работа на ламбда функции, играе важна роля в подпомагането на църквата "Дипломна работа и, че тези класове съвпадат с интуитивно calculable функции.

От 1930 "и на Kleene повече от всеки друг математик, разработени понятията computability и ефективен процес във всичките им форми и абстрактни и конкретни, и двата математически и философски. Той се опитат да положи основите на пространство, и после преминете към следващата, тъй като всеки един последователен blossomed в голяма научно пространство в своята събудим.

Kleene разработи набор от разнообразни теми, в computability: аритметичната йерархия, степени на computability, computable ordinals и hyperarithmetic теория, крайни автомати и редовни комплекти с огромни последици за компютърни науки, computability по-високи видове, recursive realizability за intuitionistic смятането с последици за philosphy и програмата за коректност по компютърни науки.

Kleene най-известните книги са Въведение в Metamathematics (1952) и Математическа логика (1967).

Source:School of Mathematics and Statistics University of St Andrews, Scotland