Stephen Cole Kleene
Stephen Cole Kleene (urodzony 5 stycznia 1909 w Hartford , Connecticut , † 25 stycznia 1994 w Madison , Wisconsin ) był amerykańskim matematykiem i logikiem . Jest on uważany za jednego z twórców informatyki teoretycznej , zwłaszcza języków formalnych i teorii automatów (patrz, na przykład, koperta KLEENE za , rachunek lambda , Kleene jest stałym punktem Twierdzenie , normalna forma KLEENE jest , wyrażenie regularne ).
Kleene dorastał na farmie swojego dziadka w Maine (którą później przejął) i studiował w Amherst College (ukończenie szkoły w 1930 roku „summa cum laude”). W 1934 r. Uzyskał doktorat na Uniwersytecie Princeton przy Alonzo Church z "Teorią liczb całkowitych dodatnich w logice formalnej". Po krótkim nauczaniu w Princeton, w 1934 r. Wyjechał na University of Wisconsin w Madison, gdzie został adiunktem w 1937 r. I profesorem w 1948 r., Gdzie pozostał aż do przejścia na emeryturę w 1979 r. Od 1942 do 1946 był oficerem Marynarki Wojennej Stanów Zjednoczonych .
Podobnie jak jego nauczyciel Church, Kleene przyczynił się do rozwoju teorii funkcji rekurencyjnych, którą Church sformalizował w swoim rachunku lambda (później używanym w języku programowania Lisp ). W swojej rozprawie Kleene zbadał w szczególności twierdzenie Churcha, że jego rachunek lambda zapewnia wszystkie „obliczalne” funkcje, badając bardziej ogólne funkcje rekurencyjne, dla których udowodnił twierdzenie o postaci normalnej. Znalazł kilka poziomów przewidywalności, takich jak B. z funkcjami częściowo rekurencyjnymi. Wprowadził także „hierarchię arytmetyczną” i „hierarchię hiperarytmetyczną” dla predykatów. W 1938 roku opublikował specjalistyczny artykuł dotyczący opracowanego przez siebie trójwartościowego systemu logicznego K3 . W 1954 roku wraz z Emilem Postem napisali pracę o stopniu nierozwiązywalności problemów matematycznych.
Od pobytu w Rand Corporation w 1951 roku, był także zainteresowany automatów i napisał raport wpływowego tam, w której połączone idee Johna von Neumanna o maszyny liczące z tymi od Warren McCulloch i Walter Pitts (1949) o sieciach neuronowych .
Kleene był także czołowym przedstawicielem intuicjonizmu założonego przez Luitzena Egbertusa Jana Brouwera w USA . W 1950 roku przebywał jako stypendysta Guggenheima w Amsterdamie, aby studiować pomysły Brouwera i jego uczniów. Kleene napisał dwa powszechnie używane podręczniki dotyczące logiki matematycznej i metamatematyki , w których podał również jasne sformułowanie twierdzenia Gödla .
W 1983 roku otrzymał nagrodę Leroy P. Steele . W 1969 roku został członkiem Narodowej Akademii Nauk . W 1980 roku został przyjęty do American Academy of Arts and Sciences . W 1990 roku otrzymał Narodowy Medal Nauki . W 1958 wygłosił wykład plenarny na Międzynarodowym Kongresie Matematyków w Edynburgu ( Logika matematyczna: operacje konstruktywne i niekonstruktywne ), aw 1950 został zaproszony jako prelegent na ICM w Cambridge (Massachusetts) ( Funkcje rekurencyjne i matematyka intuicjonistyczna ).
Kleene był doświadczonym alpinistą . Był dwukrotnie żonaty i miał czworo dzieci z pierwszego małżeństwa (od 1942 r.).
Czcionki
- Ogólne rekurencyjne funkcje liczb naturalnych. W: Mathematical Annals . Tom 112, 1936, strony 727-742 .
- O notacji liczb porządkowych. W: The Journal Symbolic Logic . Tom 3, nr 4, 1938, str. 150-155, doi : 10.2307 / 2267778 .
- Wprowadzenie do metamatematyki (= Bibliotheca Mathematica. 1, ZDB -ID 419838-4 ). Północna Holandia a Amsterdam 1952.
- Hierarchie predykatów teorii liczb. W: Biuletyn Amerykańskiego Towarzystwa Matematycznego . Tom 61, nr 3, 1955, str. 193-213, doi : 10,1090 / S0002-9904-1955-09896-3 .
- z Richardem Eugene Vesleyem : The Foundations of Intuitionistic Mathematics. Szczególnie w odniesieniu do funkcji rekurencyjnych. Holandia Północna, Amsterdam 1965.
- Logika matematyczna. Wiley, New York NY i wsp.1967.
linki internetowe
- John J. O'Connor, Edmund F. Robertson : Stephen Cole Kleene. W: MacTutor Archiwum historii matematyki .
- Biografia Saunders MacLane w National Academy of Sciences (PDF; 140 kB)
Indywidualne dowody
- ↑ O notacji liczb porządkowych. W: The Journal Symbolic Logic. Tom 3, nr 4, 1938, strony 150-155.
- ^ Kleene, Emil L. Post : Górna pół-krata stopni rekursywnej nierozwiązywalności. W: Annals of Mathematics . Vol. 59, nr 3, 1954, str. 379-407, JSTOR 1969708 .
- ^ Kleene: Reprezentacyjne zdarzenia w sieciach nerwowych i automatach skończonych. W: Claude E. Shannon , John McCarthy (red.): Automata Studies (= Annals of Mathematics Studies. 34, ISSN 0066-2313 ). Princeton University Press, Princeton NJ 1956, s. 3–42, doi : 10.1515 / 9781400882618-002 .
dane osobiste | |
---|---|
NAZWISKO | Kleene, Stephen Cole |
KRÓTKI OPIS | Amerykański matematyk i logik |
DATA URODZENIA | 5 stycznia 1909 |
MIEJSCE URODZENIA | Hartford , Connecticut , USA |
DATA ŚMIERCI | 25 stycznia 1994 |
MIEJSCE ŚMIERCI | Madison , Wisconsin , USA |