Redigerer
Haskell Curry
(avsnitt)
Hopp til navigering
Hopp til søk
Advarsel:
Du er ikke innlogget. IP-adressen din vil bli vist offentlig om du redigerer. Hvis du
logger inn
eller
oppretter en konto
vil redigeringene dine tilskrives brukernavnet ditt, og du vil få flere andre fordeler.
Antispamsjekk.
Ikke
fyll inn dette feltet!
== Utdanning og arbeid == I 1916 startet han på [[Universitetet i Harvard]] for å studere medisin, men byttet til matematikk rett før avgangseksamen i 1920. Etter to år med studier innenfor eletroteknikk hos MIT returnerte Curry til Harvard for å studere fysikk som han to år senere tok han en master i. Currys interesse i matematikk tok først av da han leste [[Principia Mathematica (Whitehead-Russel)|''Principia Mathematica'']] av [[Alfred North Whitehead]] og [[Bertrand Russell]]. Boken prøvde å grunne matematikk i symbolsk logikk. I sitt arbeid for doktoravhandling ønsket hans lærer, George Birkhoff, at Curry skulle fokusere på [[differensialligning]]er. Fra Curry sin side skiftet dette fokuset kontinuerlig over til logikk. I 1927, som lærer på [[Universitetet i Princeton]], kom Curry over verkene til Moses Schönfinkel i kombinatorisk logikk. Schönfinkels arbeid hadde allerede innebåret mye av det Curry for tiden studerte og som konsekvens av dette valgte han å flytte til [[Tyskland]] for å studere kombinatorisk logikk videre sammen med Heinrich Behmann og Paul Bernays, begge kjente med Schönfinkel arbeid. Curry brukte ett år fra 1931 til 1932 i [[Universitetet i Chicago]] under United States National Research Council og ett år fra 1938 til 1939 hos Institute for Advanced Study ved Princeton. I 1942 tok Curry permisjon for å jobbe med anvendt matematikk som bidrag til USAs innsats i [[andre verdenskrig]]. Rett etter krigen begynte han å jobbe i ett år med ENIAC-prosjektet, som skulle skapte verdens første universell datamaskin. Curry trakk seg vekk fra State College i 1966 da han fikk tilbud om en stilling som professor i matematikk ved [[Universitetet i Amsterdan]] for så å returnere igjen i 1970 når hans arbeid med andre og siste volum om kombinatorisk logikk var ferdig.
Redigeringsforklaring:
Merk at alle bidrag til Wikisida.no anses som frigitt under Creative Commons Navngivelse-DelPåSammeVilkår (se
Wikisida.no:Opphavsrett
for detaljer). Om du ikke vil at ditt materiale skal kunne redigeres og distribueres fritt må du ikke lagre det her.
Du lover oss også at du har skrevet teksten selv, eller kopiert den fra en kilde i offentlig eie eller en annen fri ressurs.
Ikke lagre opphavsrettsbeskyttet materiale uten tillatelse!
Avbryt
Redigeringshjelp
(åpnes i et nytt vindu)
Navigasjonsmeny
Personlige verktøy
Ikke logget inn
Brukerdiskusjon
Bidrag
Opprett konto
Logg inn
Navnerom
Side
Diskusjon
norsk bokmål
Visninger
Les
Rediger
Rediger kilde
Vis historikk
Mer
Navigasjon
Forside
Siste endringer
Tilfeldig side
Hjelp til MediaWiki
Verktøy
Lenker hit
Relaterte endringer
Spesialsider
Sideinformasjon