Matematici

Časová osa Fotografie Peníze Razítka Sketch Hledat

Haskell Brooks Curry

Datum narození:

Místo narození:

Datum úmrtí:

Místo úmrtí:

12 Sept 1900

Millis, Massachusetts, USA

1 Sept 1982

State College, Pennsylvania , USA

Prezentace
POZOR - Automatický překlad z anglické verze

Haskell Curry 'matka byla Anna Baright a jeho otec byl Samuel Silas Curry. Samuel byl prezidentem školy projevu v Bostonu a Anna byla děkanem školy. Haskell neprokázala zvláštní zájem v matematice, kdy na vysoké škole a kdy absolvoval v roce 1916 byl plně určen ke studiu medicíny. On vstoupil Harvard College, je student školy na Harvardově univerzitě a vzal matematiky v jeho průběhu prvního roku studia jako součást svého studia na vzdělání v oboru medicíny.

Zásadní vliv na směr, že jeho studie vzal byl vstup Spojených států do světové války na jaře 1917. Kari chtěli sloužit své zemi, a rozhodla, že by bylo pravděpodobné, viz činnost, pokud měl matematiky vzdělávání spíše než kdyby pokračoval před-lékařské samozřejmě to byl on. Tak či onak měl těšili matematiky samozřejmě vzal a měl udělat velmi dobře v kurzu. On změnil jeho hlavní výhradou matematiky a poté narukoval do armády Student Školení sboru dne 18. října 1918. Válka však skončila krátce poté, co toto (v listopadu) a dne 9. prosince 1918 Curry opustila armáda. Poté pokračoval na kurz matematiky na Harvardově však, a absolvoval v roce 1920 s AB titul.

Kari nyní rozhodla, že bude hledat kariéru v elektrotechnice a vzal práci s General Electric Company, které mu umožnilo studovat elektrotechniku straně-čas na Massachusetts Institute of Technology. Avšak ten, brzy zjistil, že měl jiný přístup k ostatním při kurzech, neboť on chtěl vědět, proč Výsledkem bylo správné, když všichni ostatní na to záleželo jen, že to bylo správné. Uvědomili si, že to byl více hodí na čisté vědy, než uplatnit věda, on změnil kurz na studium fyziky v roce 1922. Také Harvard zdálo lepší místo pro studium čistá věda tak se vrátil tam, protože byl jmenován na půl-post, pracoval jako výzkumný asistent na PW Bridgeman na zasedání 1922-23. Kari absolvovala magisterský titul ve fyzice z Harvardu v roce 1924, ale nyní si uvědomil, že toto téma pro něj nebyla fyzika, ale to byla matematika. Začal provádět výzkum pro svůj doktorát z matematiky na Harvardu.

Během tohoto období se měnící témata Curry měl jiné věci, aby ho práce. Jeho otec zemřel v roce 1921 a Kari se stal správcem panství svého otce. Samozřejmě hlavní část tohoto majetku byla škola Vyjádření v Bostonu a tři roky po smrti matky Curry v roce 1924, se stala právním společnost v roce 1927. Kari působil jako pokladník k vyjádření společnosti z doby, kdy byla založena, ale to byl prodán v roce 1928.

Pokud se jedna představuje si, že od 1924, kdy Curry pustila na jeho doktorát z matematiky na Harvardově mu v poslední našel téma pro něj, pak byste se mýlí. Byl dané téma v teorii diferenciálních rovnic George Birkhoff, ale začal čtením knih o logice, která se zdála se mu mnohem zajímavější, že jeho výzkumné téma. Požádal členy různých fakulty na Harvardu, a Norbert Wiener v MIT, pokud si myslel, že by mohl změnit, aby provedla výzkum v logice. Byli docela jednomyslné, poradenství ho proti němu. Byl zaměstnán jako půl-time instruktor v matematice o Harvardu v průběhu prvního pololetí roku 1926-27 a to bylo kolem tentokrát že si přečíst první ročník Whitehead a Russell 's Principia Mathematica, které byly zveřejněny v roce 1910. To byla zásadní v jeho vývoji, na to byl po přečtení této práce, aby měl nápad použít combinators analyzovat složitá pravidla substituce, které jsou charakteristické pro první část textu. On znovu přiblížil jednotlivé fakulty na Harvardu, a Norbert Wiener na MIT, s žádostí, zda si mysleli, že by mohl psát své doktorské disertace v logice. Ten nyní dostal velmi rozdílné reakce od toho, co obdržel dříve. Wiener 'je odpověď byla typická - zabránit tomu, aby logika, pokud máte co říct, ale teď si určitě má co říct!

Kari nyní učinil svou poslední změnou směru a rozhodla se vzdát svého doktorského studia na diferenciální rovnice a psát doktorskou disertační práci na logice. Před započetím výzkumu na toto nové téma, rozhodl se učit na jeden rok a s výrazným doporučení Birkhoff, byl jmenován jako instruktor v matematice na Princetonské na zasedání 1927-28. Tam se diskutuje jeho výzkumné plány s Veblen a při pohledu na papír ve Mathematische Annalen v knihovně Princetonské, 1924 objevila kniha o M Schönfinkel Plod zemře Bausteine der mathematischen Logik, který využil combinators v podobné cestě k jeho vlastních myšlenek. Veblen jisti, kari, že to byla pozitivní, nikoli negativní, objevení a poté, co Alexander oznámil, že mu Schönfinkel byl v duševní nemocnici, a proto není jeho pokračováním linie výzkumu, Curry hledali radu v kteří by byl nejlepší Ph.D. nadřízeného. Veblen oznámila mu, že Bernays v Göttingen, v Německu, by bylo nejlepší. Ve snaze zlepšit své šance na finanční podporu, Kari napsal své nápady na combinators ke zveřejnění a tento se stal jeho první kniha Analýza logické substituce, které se objevily v americkém Journal of Mathematics v roce 1929.

Před započtením k Göttingen, Curry ženatý Mary Virginia Wheatly kterou poznal ve škole projevu, když byl studentem tam. Jsou oddáni dne 3. července 1928 a společně putovali do Německa. Po téměř přesně za rok (dne 24. července 1929) byl přezkoumán v jeho práci nazvané Grundlagen der kombinatorischen Logik. Formálně byl pod dohledem Hilbert, ale ve skutečnosti to byl Bernays kteří za předpokladu, každodenní podporu pro svou práci. Jeho disertační práce byla publikována v American Journal of Mathematics v roce 1930.

Návratu do Spojených států, Curry byl jmenován do State College, Pennsylvania (nyní Pennsylvania State University) v září 1929. Haskell a Virginii začala jejich rodiny v této době s Anne Wright Curry narodil dne 27. července 1930 a Robert Weatley Curry narodil 6. července 1934. Velké hospodářské krize začala v roce 1929 to bylo štěstí, že Kari získal svůj postoj, když on udělal. Jistě letech velké hospodářské krize by byly ty, kdy matematický logik by sotva byla by mohla získat post. I když zůstal na fakultě v Pennsylvania State, až se v roce 1966 odešel do důchodu, činil tráví čas na ostatní instituce, zejména pak na univerzitě v Chicagu, kde byl Národní rady pro výzkum pracovník během 1931-32, a Ústavu pro moderní studium na Princeton během 1938-39. Některé dokumenty zveřejněné během prvních let svého výzkumu zahrnují Univerzální kvantifikátor v kombinatorický logiky (1931), Některé dodatky k teorii combinators (1932), Zdánlivý proměnných z hlediska kombinatorický logiky (1933) a některé vlastnosti rovnosti a důsledky v kombinatorický logiky (1934).

Sdružení pro symbolický Logika byla založena v roce 1936 s kari jako jeden ze zakladatelů. Byl vice-prezident během 1936-37 a poté prezident asociace 1938-40. Jeho odchodu prezidentských adresu, kombinatorický základy matematické logiky, bylo zveřejněno ve Věstníku symbolický Logika v roce 1942. Poté, co velmi jasný výklad základů kombinatorický logice, prokazující jeho blízký vztah k-kalkulu, který vypracoval kostel, Curry šel v popisu své nedávné práci. Měl zkoumána zjednodušené metody jejich odvození, paradoxy (například na Richarda a Russell) v logických systémů, které jsou v rozporu, a také vyvinuli metody zavádějí do kombinatorický logiky nedefinovaných pojmů na obecnost, jako je kvantitativní nebo formální důsledky, v tak, že se věta důslednosti rád, že na církev a Rosser by mohl být ještě odvozeny.

Vzhledem k tomu, že začal 1940s, Curry dosáhla postavení je jedním z předních matematických logicians na světě. Byl požádán o vydání výkladový adresu, na matematici vysvětlit základní pojmy z formalismu a přidat nové návrhy. Papír Některé aspekty problému matematické přísnost zveřejněn ve Věstníku Americké matematické společnosti v roce 1941 je text na této adrese. Ten představil ve svém projevu: a kritika na ne-formální teorie, pojem formální systém (dokládá Dickson 's postuláty pro skupiny), pojem z kalkulu; diskusi o metatheory; definici matematiky, a přijatelnosti na formálním systému, diskusi o kritice intuitionists a formalists. Během 1940s Curry také obnovena jeho spojení se školou projevu v Bostonu, který do té doby byl přejmenován na kari College. Vstoupil do správní rady College v roce 1940 a zůstal ve správní radě o více než deset let.

Během druhé světové války Curry zavázala výzkumu v aplikované matematiky. On Zveřejněna Heavisideovy operační pocet v roce 1943. Za to jim velice jednoduché algebraický přístup, ale byl si vědom jejích omezení psaní:

... tato výhoda, jistě, znamená omezení rozsahu léčby, protože je omezen na racionální aspekty, jako vznikají z obyčejných lineárních diferenciálních rovnic s konstantními koeficienty. Pro více obecných případů parciálních diferenciálních rovnic, frakční operátorů, atd., teorie integrálních transformací je bezpochyby nevyhnutelné.

Pracoval na Frankford Arsenal od května 1942 do ledna 1944, pak v Laboratoře aplikované fyziky na Johns Hopkins University až do března 1945. On pak šel do Aberdeen Proving Ground, vojenské zbraně testování stránek v Harford hrabství na severovýchodě Marylandu. Tam začala s počítači ENIAC publikování Studie inverzní interpolace na ENIAC a studium na čtvrté pořadí interpolace na ENIAC, jak v roce 1946. Vrátil se do Pennsylvania State University v září 1946 a snažil se přesvědčit úřady, aby univerzita získá počítač, ale ten se nezdařil.

Jeho hlavní texty zahrnují kombinatorický Logické (1958) (s Robertem Feys), a základy matematické logiky (1963). Kari začal pracovat na kombinatorický Logika v roce 1950, kdy byl udělen Fulbrightova grantu, který mu umožnil pracovat s Robertem Feys v Lovani. Budou pokračovat spolupracuje na knize po kari se vrátil do Spojených států a vyplněný text v roce 1956. EJ Cogan, přezkumu knihy, dává pěkný popis kombinatorický logiky:

Kombinatorický logika se zabývá některými základními pojmy ze základů matematiky, které jsou běžně používány v intuitivní a unanalysed způsobem. Tyto pojmy zahrnují nahrazování, obvykle zavedené používání proměnných, a zařazení subjektů do systému do typů, což je obvykle stanovená pravidla, která jsou pomocná, ale není součástí, systém. Součástí kombinatorický logiky, které se zabývají otázkami základního charakteru, které, stejně jako substituční, zahrnovat proměnné, se nazývá teorie combinators.

V základy matematické logiky Curry rozvíjí téma z algebraických použití Gentzen 's metodami. J Tucker píše:

Nejvýraznější dopad tohoto přístupu je to, že konečný pozitivní dopad na operace, spojení a střídání jsou řešeny jako první, zatímco negace a kvantifikace jsou uvedeny v později a v samostatných kapitolách. Význam jednotlivých základních pojivové není stanovena na začátku, jako je tomu v klasické přístup, ale je odvozena z inferenční pravidla.

V roce 1966 on přijal místo profesora na logické, historie logiky, filosofie a vědy v Amsterodamu. Zastával této poloze po dobu čtyř let, po níž se vrátil k životu ve State College, Pennsylvania.

Autoři učinit některé hezké komentáře o kari a jeho žena:

Každý zná Currys kteří si je vědoma toho, jak přátelské a prospěšné, aby vždy byly. Haskell má vždy udělat více pro kolegy a studenty, než být zdrojem důležitých myšlenek. On byl vždy ochoten naslouchat všem, kteří chtěli s ním mluvit, diskutovat o svých myšlenek a dát cokoliv, co by mohlo podpořit. ... Jeho úřad má dveře vždy otevřené. A tohle má nepochybně důležitým příspěvkem k nadšení z mnoha těch z nás pracuje v kombinatorický logiky. Také známé li Currys žili byla pohostinnost se ukázaly. K dispozici jsou vždy mnoho stran a jiných, méně formální setkání, a my jsme tušení, že Virginia se děje také hraje svou roli v růstu zájmu o kombinatorický logiky.

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