Matematikust

Idővonal Photos Pénz Bélyegzőket Vázlatrajza Keres

Haskell Brooks Curry

Születési dátuma:

Születési hely:

A halál időpontját:

Halálozási hely:

12 Sept 1900

Millis, Massachusetts, USA

1 Sept 1982

State College, Pennsylvania , USA

Bemutatását Wikipédiából
FIGYELEM - Automatikus fordítás angol verzió

Haskell Curry anyja volt Anna Baright és az apja Samuel Silas Curry. Sámuel volt az elnöke a School of Expression, Boston és Anna volt a Dean of the School. Haskell nem mutatott különös érdeklődést a matematika, amikor a középiskolában, és amikor diplomázott 1916-ban teljes mértékben kívánják vizsgálatban a gyógyszert. Belépett Harvard College-on, az iskola egyetemista a Harvard Egyetemen, és elvitt egy matematika kurzust első tanév részeként tanulmányait felé diplomát a gyógyszert.

Nagyban befolyásolják az irányba, hogy a tanulmányait vette volt a belépés az USA-ba az I. világháború tavaszán 1917. Curry akarta szolgálni hazáját, és úgy döntött, hogy ő is inkább, hogy fellépés, ha volt egy matematika képzés helyett, ha továbbra is az előzetes orvosi Persze hogy volt. Különben ő élvezte a matematika, amit persze megtett és nagyon jól tette a kurzusra. Megváltoztatta a legnagyobb figyelemmel a matematika, majd beállt a Diák Army Corps képzés október 18-án 1918. A háború azonban hamarosan véget után (novemberben) és a december 9, 1918 Curry elhagyta a hadsereget. Így folytatta a matematika során a Harvardon, de 1920-ben diplomázott egy AB fokozatot szerzett.

Curry most elhatározta, hogy nézne ki a pályára a villamosmérnök és elvitte a munka a General Electric Company, ami lehetővé tette számára, hogy tanulmányozza elektrotechnika részmunkaidős a Massachusetts Institute of Technology. Azonban hamar rájött, hogy más volt a hozzáállása a többiek figyelembe a tanfolyamok, mert tudni akarta, miért eredmény helyes volt, amikor mindenki más csak számít, hogy helyes volt. Felismerve, hogy ő jobban megfelel, mint a tiszta tudomány az alkalmazott tudomány, s természetesen megváltozott, hogy tanulmányozza a fizika 1922-ben. Harvard is látszott, egy jobb helyen tanulni tiszta tudomány így visszatért oda, miután kinevezték a felére post mint kutatási asszisztense PW Hídember a munkamenet 1922-23. Curry diplomát mesterképzésre a fizikában a Harvard 1924-ben, de már rájött, hogy a téma számára nem a fizika, de ez matematika. Kezdte, hogy végezzen kutatást doktorált matematikából a Harvard Egyetemen.

Ezen időszak folyamán a változó témák Curry már más dolog, hogy tartsa őt elfoglalt. Az apja meghalt 1921-ben és a Curry vált vagyonkezelő apja birtokot. Természetesen a legfontosabb része a birtok volt a School of Expression, Boston, és három évvel halála után Curry édesanyja 1924-ben vált jogi társaság 1927-ben. Curry működött pénztárosa az Expression Company mire jött létre, de 1928-ben eladták.

Ha az egyik képzeli, hogy 1924 óta, amikor elindította a Curry doktorált matematikából a Harvard ő végre megtalálta a témát, aztán az ember azt téved. Adott át neki egy új témát a differenciálegyenletek elmélete George Birkhoff de ő kezdte olvasni a logika, mely érezte, sokkal érdekesebb, hogy a kutatási témát. Megkérdezte a különböző oktatók a Harvard és az MIT Norbert Wiener, ha azt hitték, talán változás, hogy a kutatás a logika. Voltak elég egyhangú, tanácsadás vele szemben. Volt alkalmazásban mint fél munkaidőben oktató a matematika a Harvard Egyetem első félévében az 1926-27 körüli volt, és ebben az időben, hogy olvassa el az első kötete Whitehead és Russell's Principia Mathematica volt, amely megjelent 1910. Ez volt az ő alapvető fejlődést, mert elolvasása után ezt a munkát, hogy ő volt az ötlet, ha Kombinátorok, hogy elemezzék a bonyolult szabályait helyettesítő jellemző az első része a szöveg. Ismét megközelítette a különböző oktatók a Harvard és az MIT Norbert Wiener, kérdezi, hogy azt hitték, hogy talán írja doktori disszertációját a logika. Most van egy egészen más választ kapta, amit korábban. Wiener 's válasz volt jellemző - kerülje el a logika, hacsak nincs valami mondanivalód, de most már biztos, hogy valamit mondani!

Curry már leadta utolsó irányváltás, és úgy döntött, hogy feladja doktori tanulmányok a differenciálegyenletek, és írja meg a doktori disszertációját logika. Kutatás megkezdése előtt ezt az új témát úgy döntött, hogy egy évig tanított, és egy erős ajánlása Birkhoff nevezték ki, mint oktató a matematika a Princeton a munkamenet 1927-28. Ott tárgyalt a kutatási tervek Veblen, és miközben néztem papírok Mathematische Annalen a Princeton könyvtár, felfedeztem egy 1924 papírt M Schönfinkel über die Bausteine der Logik mathematischen Kombinátorok, amely korábban hasonló módon a saját meggyőződésüket. Curry Veblen biztos, hogy ez egy pozitív, nem negatív, a felfedezés, és miután Alexander tudatta, hogy Schönfinkel volt egy elmegyógyintézetből, és ezért nem folyamatos a sor a kutatás, a Curry kért tanácsot, hogy ki lenne a legjobb Ph.D. felügyelőnek. Veblen tanácsolta neki, hogy Bernays Göttingenben, Németországban, az lenne a legjobb. Annak érdekében, hogy az esélyei a pénzügyi támogatás, Curry írta fel gondolatait a Kombinátorok közzétételi és ez volt az első könyv elemzése a logikai helyettesítő megjelent az American Journal of Mathematics 1929-ben.

Mielőtt elindulunk a Göttingen, Curry felesége Mary Virginia Wheatly akivel találkozott a School of Expression, mikor tanítványa volt ott. Házasodtak össze július 3-án 1928-ban és együtt utaztak Németországba. Majdnem pontosan egy év (július 24-én 1929) volt megvizsgálni disszertációjával című kombinatorischen Grundlagen der Logik. Hivatalosan ő felügyelte Hilbert, de valójában ez volt Bernays aki a napi szintű támogatása a munkáját. Dolgozatának megjelent az American Journal of Mathematics 1930-ban.

Visszatérve az Egyesült Államokba, Curry-ben nevezték ki State College, Pennsylvania (ma Pennsylvania State University) 1929 szeptemberében. Haskell és Virginiában kezdte család ezúttal Anne Curry Wright július 27-én született, 1930-ban és Robert Weatley Curry július 6-án született, 1934. A nagy gazdasági világválság 1929-ben kezdődött, így volt, szerencse, hogy Curry szerezte állásba tette. Minden bizonnyal az év a nagy gazdasági világválság volna is, ha egy matematikai logikus aligha volt valószínű, hogy szerezzen egy hozzászólásban. Bár továbbra is szerepel a tanszék Pennsylvania államban, amíg ment nyugdíjba 1966-ban ő időt tölt a többi intézmény, különösen a Chicagói Egyetemen dolgozott, ahol a Nemzeti Kutatási Tanács ösztöndíjas közben 1931-32, és az Institute for Advanced Study-on Princeton közben 1938-39. Egyes papírok megjelent korai éveiben kutatás legfontosabb Az univerzális kvantor a kombinatorikus logika (1931), néhány kiegészítéssel, hogy az elmélet Kombinátorok (1932), látszólagos változók szemszögéből kombinatorikus logika (1933), és néhány tulajdonsága az egyenlőség és a kihatással a kombinatorikus logika (1934).

Az Association for Symbolic Logic-ben alakult, 1936-ban a curry egyik alapítója. Ő volt alelnöke, majd 1936-37 folyamán Szövetség elnöke az 1938-40. A leköszönő köztársasági elnöki címet kombinatorikus A matematikai logika alapjait tették közzé a Journal of Symbolic Logic 1942-ben. Miután nagyon világos kifejtését alapjainak kombinatorikus logika, amely megmutatja, hogy szoros kapcsolatban áll a-kalkulus által kifejlesztett Egyház, Curry folytatta leírni a munkáira. Kellett vizsgálni az egyszerűsített módszerei a felmerülő ellentmondások (mint amilyen Richard és Russell) rendszerben a logika, amely következetlen, szintén kidolgozott egy módszert bevezeti a kombinatorikus logika meghatározatlan általánosság fogalmát, mint a mennyiségi vagy hivatalos közvetve, a oly módon, hogy a konzisztencia-tétel, mint hogy az egyház és az Rosser még mindig lehetne levezetni.

Mivel a 1940-es években kezdődött, Curry elérte a helyzetben van, hogy az egyik vezető matematikai logikusok a világon. Azt kérték, hogy mondjon ismertető címet, matematikusok, hogy ismertesse a formalizmus alapvető fogalmai és új javaslatokat. A papír néhány szempontja a problémának a matematikai szigor közzé az EP és az American Mathematical Society, 1941-ben az a szöveg, az ezt a címet. Bemutatta beszédében: a kritika nem formális elméletek, a fogalom formális rendszer (illusztrált Dickson 's feltételezi egy csoport), a fogalom a matematika, a vita metatheory; meghatározása matematika; és elfogadhatósága A hivatalos rendszer, és megvitatja kritika intuitionists és formalisták. Az 1940 Curry is megújult szövetsége a School of Expression, Boston, amely addigra már átnevezték Curry College-ban. -Ben csatlakozott a kuratórium a Kollégium 1940-ben, és maradt a tanács több mint egy évtizede.

A második világháború idején Curry vállalta a kutatás: az alkalmazott matematika. -Ben adta ki a működési Heaviside kalkulus 1943-ban. Ebben is bemutatott egy nagyon egyszerű algebrai megközelítés, de tudatában volt annak korlátait írásban:

... ez az előny, persze, azt korlátozza a hatályát a kezelés, mert csak a racionális szempontokat, mint a közönséges fakadó lineáris differenciálegyenlet állandó együtthatói. Az általánosabb esetben parciális differenciálegyenletek, a frakcionált szereplők, stb, az elmélet a szerves átalakítja kétségkívül elkerülhetetlen.

Dolgozott a Frankford Arsenal májustól 1942 január 1944, majd az Alkalmazott Fizikai Laboratories a Johns Hopkins Egyetemen ig március 1945. Aztán elment az Aberdeen Proving Ground, a katonai fegyverek tesztelése helyszínen Harford megye északkeleti Maryland. Ott is bekapcsolódott az ENIAC számítógép kiadói Tanulmány az inverz interpoláció az ENIAC és a Tanulmány a negyedrendű interpoláció az ENIAC mind 1946-ban. Tért vissza Pennsylvania State University 1946 szeptemberében, és megpróbálta rávenni az egyetem hatóságok számára a számítógép, de nem sikerült.

A súlyos szövegek közé kombinatorikus Logic (1958) (Robert Feys), és a matematikai logika alapjai (1963). Curry elkezdett dolgozni kombinatorikus logika, amikor 1950-ben elnyerte a Fulbright Grant, hogy lehetővé tette számára, hogy működjenek együtt a Robert Feys Louvain. Ők továbbra is együttműködik a könyv után Curry visszatért az Egyesült Államokba, és kiegészítették a szöveget 1956-ban. EJ Cogan, ami felülvizsgálja a könyv, ad egy szép leírást kombinatorikus logika:

Kombinatorikus logika érintett bizonyos alapfogalmak a matematika alapjait, amelyeket rendszerint egy intuitív és unanalysed módon. Ezek a fogalmak közé tartozik a helyettesítő, rendszerint által bevezetett változók használatával, és osztályozása az entitások a rendszer a fajta, ami rendszerint által előírt szabályokat, amelyek kiegészítő, de nem része a rendszernek. A része kombinatorikus logika, mely az érintett kérdések olyan alapvető jellegű, mint a helyettesítő, magában foglalja a változók, az úgynevezett elmélete Kombinátorok.

In Foundations of Mathematical Logic Curry fejleszti a témát az algebrai alapot használatával Gentzen 's módszerek. J Tucker írja:

A leginkább szembetűnő hatása, ez a megközelítés, hogy a véges pozitív hatással működését, és a váltakozás együtt kezelik az első, míg a tagadás és mennyiségi vonnak be később, és külön fejezetekben. Értelmében az egyes alapvető kötőszövet nem állapít meg az elején, mert a klasszikus módszer, de nyert inferential szabályokat.

1966-ben elfogadta az álláspontját professzora Logic, History of Logic, and Philosophy of Science, Amszterdamban. Birtokolta ezt a pozíciót négy évig, ami után tért vissza élni, State College, Pennsylvania.

A szerzők, hogy néhány szép észrevétele van Curry és neje:

Mindenki, aki ismeri a Currys tisztában van azzal, hogy milyen barátságos és segítőkész, mindig vannak. Haskell mindig többet tett kollégák és hallgatók, mint forrása lehet fontos gondolat. Ő mindig kész volt meghallgatni mindenkinek, aki szeretett volna beszélni vele, hogy megvitassák ötleteiket, és arra ösztönözni, hogy amit csak tudott. ... Irodája ajtaja mindig nyitva áll. És ez kétségtelenül fontos hozzájárulás volt a lelkesedése sokan közülünk dolgoznak kombinatorikus logika. Is ismert, ahol a Currys élt már a vendéglátás általuk látható. Vannak mindig sok résztvevő és más, kevésbé hivatalos összejövetelek, és mi sejtés, hogy a Virginia's főzés is szerepet játszott növekedésében érdeklődés kombinatorikus logika.

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