35 kontakty: Alfred North Whitehead, Belgia, Bertrand Russell, Currying, David Hilbert, Doktor (stopień naukowy), ENIAC, Getynga, Haskell, II wojna światowa, Institute for Advanced Study, Izomorfizm Curry’ego-Howarda, Leuven, Logika matematyczna, Massachusetts Institute of Technology, Master of Arts, Matematyka, Millis, Niemcy, Paradoks Curry’ego, Paul Bernays, Pensylwania, Princeton, Principia mathematica, Programowanie funkcyjne, Równanie różniczkowe, Stany Zjednoczone, University of Chicago, Uniwersytet Amsterdamski, Uniwersytet Harvarda, Uniwersytet Princeton, 1 września, 12 września, 1900, 1982.
Alfred North Whitehead
Alfred North Whitehead (ur. 15 lutego 1861 w Ramsgate, zm. 30 grudnia 1947 w Cambridge w stanie Massachusetts) – angielski uczony: filozof, matematyk i fizyk teoretyczny.
Nowy!!: Haskell Curry i Alfred North Whitehead · Zobacz więcej »
Belgia
Belgia, Królestwo Belgii – państwo federacyjne w zachodniej Europie, w południowych Niderlandach.
Nowy!!: Haskell Curry i Belgia · Zobacz więcej »
Bertrand Russell
Bertrand Russell w roku 1893 Bertrand Russell w roku 1907 Bertrand Arthur William Russell, 3.
Nowy!!: Haskell Curry i Bertrand Russell · Zobacz więcej »
Currying
Rozwijanie funkcji (ang. currying) – operacja w funkcyjnych językach programowania polegająca na przekształceniu funkcji, która pobiera parę argumentów i zwraca wynik (f: (P \times Q) \to R) w funkcję, która po pobraniu argumentu zwraca funkcję, która pobiera argument i zwraca wynik (g: P \to (Q \to R)).
Nowy!!: Haskell Curry i Currying · Zobacz więcej »
David Hilbert
problemów Hilberta w tle. David Hilbert (ur. 23 stycznia 1862 w Królewcu (Prusy Wschodnie), zm. 14 lutego 1943 w Getyndze) – niemiecki matematyk.
Nowy!!: Haskell Curry i David Hilbert · Zobacz więcej »
Doktor (stopień naukowy)
Doktor (łac. doctor.
Nowy!!: Haskell Curry i Doktor (stopień naukowy) · Zobacz więcej »
ENIAC
Komputer ENIAC ENIAC (od ang. Electronic Numerical Integrator And Computer – Elektroniczny, Numeryczny Integrator i Komputer) – komputer skonstruowany w latach 1943–1945 przez J.P. Eckerta i J.W. Mauchly’ego na Uniwersytecie Pensylwanii w USA.
Nowy!!: Haskell Curry i ENIAC · Zobacz więcej »
Getynga
Getynga (dolnoniem. Chöttingen) – akademickie miasto powiatowe w Niemczech, nad rzekąLeine, na południowym krańcu kraju związkowego Dolna Saksonia, siedziba powiatu Getynga.
Nowy!!: Haskell Curry i Getynga · Zobacz więcej »
Haskell
Haskell – czysto funkcyjny język programowania nazwany na cześć amerykańskiego matematyka, Haskella Curry’ego.
Nowy!!: Haskell Curry i Haskell · Zobacz więcej »
II wojna światowa
Polskiego Radia o wybuchu wojny II wojna światowa – największa i najkrwawsza wojna w dziejach, zaliczana do wojen totalnych, trwająca od 1 września 1939 roku do 2 września 1945 roku.
Nowy!!: Haskell Curry i II wojna światowa · Zobacz więcej »
Institute for Advanced Study
Studiów Zaawansowanych, otwarty w 1939 Widok z lotu ptaka Institute for Advanced Study (Instytut Studiów Zaawansowanych, Instytut Badań Zaawansowanych), IAS – amerykańska prywatna placówka naukowa w Princeton w stanie New Jersey, prowadząca badania podstawowe w wielu dziedzinach nauki, założona w 1930 roku przez pedagoga i reformatora szkolnictwa wyższego Abrahama Flexnera (1866–1959) i filantropów: Louisa Bambergera (1855–1944) i jego siostrę Caroline Bamberger Fuld (1864–1944).
Nowy!!: Haskell Curry i Institute for Advanced Study · Zobacz więcej »
Izomorfizm Curry’ego-Howarda
Izomorfizm Curry’ego-Howarda – określenie odpowiedniości pomiędzy termami rachunku lambda z typami a dowodami logiki intuicjonistycznej.
Nowy!!: Haskell Curry i Izomorfizm Curry’ego-Howarda · Zobacz więcej »
Leuven
Gotycki ratusz w Leuven Widok miasta z lat 1890–1900 Rynek w Leuven (1914) Uniwersytecka biblioteka Leuven (wym.;, wym.;; d.) – miasto w Belgii nad rzekąDijle, stolica prowincji Brabancja Flamandzka.
Nowy!!: Haskell Curry i Leuven · Zobacz więcej »
Logika matematyczna
Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki.
Nowy!!: Haskell Curry i Logika matematyczna · Zobacz więcej »
Massachusetts Institute of Technology
Massachusetts Institute of Technology, skrótowiec: MIT – amerykańska uczelnia niepubliczna, politechnika o statusie uniwersyteckim, założona w 1861 w Cambridge w stanie Massachusetts.
Nowy!!: Haskell Curry i Massachusetts Institute of Technology · Zobacz więcej »
Master of Arts
Master of Arts, skrótowiec MAw wersji amerykańskiej także M.A. (z dwiema kropkami) („mistrz sztuk”, w domyśle „wyzwolonych”) – jeden z anglosaskich tytułów zawodowych, należący do grupy master's degree, nadawany w naukach humanistycznych, ekonomicznych i w zakresie teoretycznym nauk ścisłych i przyrodniczych.
Nowy!!: Haskell Curry i Master of Arts · Zobacz więcej »
Matematyka
Rafaela Santiego (XVI wiek); cyrkiel trzyma Euklides, grecki matematyk z III wieku p.n.e. Uniwersytetu Oksfordzkiego; na ziemi znajduje się parkietaż Penrose’a opisany po raz pierwszy przez jednego z pracowników tej placówki. Matematyka (z łac. mathematicus, od gr. μαθηματικός mathēmatikós, od μαθηματ-, μαθημα mathēmat-, mathēma, „nauka, lekcja, poznanie”, od μανθάνειν manthánein, „uczyć się, dowiedzieć”; prawd. spokr. z goc. mundon, „baczyć, uważać”) – nauka zaliczana do grupy formalnych, inaczej dedukcyjnych lub apriorycznych, a także do nauk ścisłych i definiująca tę grupę – matematyka stanowi ich fundament.
Nowy!!: Haskell Curry i Matematyka · Zobacz więcej »
Millis
Millis – miasto w Stanach Zjednoczonych, w stanie Massachusetts, w hrabstwie Norfolk.
Nowy!!: Haskell Curry i Millis · Zobacz więcej »
Niemcy
Niemcy; Republika Federalna Niemiec, RFN (niem. Deutschland; Bundesrepublik Deutschland, BRD,.
Nowy!!: Haskell Curry i Niemcy · Zobacz więcej »
Paradoks Curry’ego
Paradoks Curry’ego – jeden z paradoksów logicznych, podobnych do paradoksu kłamcy.
Nowy!!: Haskell Curry i Paradoks Curry’ego · Zobacz więcej »
Paul Bernays
Paul Isaac Bernays (ur. 17 października 1888, zm. 18 września 1977) – szwajcarski matematyk, który wniósł znaczący wkład w logikę matematyczną, aksjomatycznąteorię mnogości i filozofię matematyki.
Nowy!!: Haskell Curry i Paul Bernays · Zobacz więcej »
Pensylwania
Pensylwania – stan w północno-wschodniej części Stanów Zjednoczonych, pomiędzy rzekąDelaware a jeziorem Erie.
Nowy!!: Haskell Curry i Pensylwania · Zobacz więcej »
Princeton
Holder Tower (wieża Holder Hall, Uniwersytetu Princeton), widziana z rogu ul. Nassau i pl. Palmera Princeton – miasto w stanie New Jersey, w Stanach Zjednoczonych, w zespole miejskim Trenton, w hrabstwie Mercer County.
Nowy!!: Haskell Curry i Princeton · Zobacz więcej »
Principia mathematica
Principia mathematica – zamierzone na cztery tomy dzieło Bertranda Russella i Alfreda Northa Whiteheada dotyczące podstaw matematyki, tworzone i publikowane w latach 1910-1913.
Nowy!!: Haskell Curry i Principia mathematica · Zobacz więcej »
Programowanie funkcyjne
Programowanie funkcyjne – filozofia i metodyka programowania będąca odmianąprogramowania deklaratywnego, w której wykorzystuje się to, że funkcje należądo typów pierwszoklasowych.
Nowy!!: Haskell Curry i Programowanie funkcyjne · Zobacz więcej »
Równanie różniczkowe
Równanie różniczkowe – równanie określające zależność pomiędzy nieznanąfunkcjąa jej pochodnymi.
Nowy!!: Haskell Curry i Równanie różniczkowe · Zobacz więcej »
Stany Zjednoczone
Stany Zjednoczone Ameryki, Stany Zjednoczone, potocznie Ameryka (ang. United States of America, USA; United States, US; pot. America), do 11 lipca 1778 r. Stany Zjednoczone Ameryki Północnej – państwo federacyjne w Ameryce Północnej składające się z 50 stanów, graniczące z Kanadąod północy, Meksykiem od południa, Oceanem Spokojnym od zachodu, Oceanem Arktycznym od północnego zachodu i Oceanem Atlantyckim od wschodu.
Nowy!!: Haskell Curry i Stany Zjednoczone · Zobacz więcej »
University of Chicago
Uniwersytet Chicagowski (również Uniwersytet w Chicago) – jeden z najbardziej prestiżowych uniwersytetów amerykańskich, założony w 1890 przez przedsiębiorcę i twórcę koncernu Standard Oil, Johna Rockefellera, w Chicago.
Nowy!!: Haskell Curry i University of Chicago · Zobacz więcej »
Uniwersytet Amsterdamski
Uniwersytet Amsterdamski (niderl. Universiteit van Amsterdam, UvA) – holenderski uniwersytet z siedzibąw Amsterdamie.
Nowy!!: Haskell Curry i Uniwersytet Amsterdamski · Zobacz więcej »
Uniwersytet Harvarda
Uniwersytet Harvarda (ang. Harvard University) – prywatna uczelnia powstała 8 września 1636 jako Harvard College w Newtowne (wówczas w Kolonii Zatoki Massachusetts, obecnie Cambridge) koło Bostonu jako pierwszy uniwersytet na terenie kolonii brytyjskich w Ameryce Północnej.
Nowy!!: Haskell Curry i Uniwersytet Harvarda · Zobacz więcej »
Uniwersytet Princeton
Uniwersytet Princeton – uniwersytet w Princeton, w stanie New Jersey, czwarta najstarsza uczelnia w Stanach Zjednoczonych.
Nowy!!: Haskell Curry i Uniwersytet Princeton · Zobacz więcej »
1 września
Bez opisu.
Nowy!!: Haskell Curry i 1 września · Zobacz więcej »
12 września
Bez opisu.
Nowy!!: Haskell Curry i 12 września · Zobacz więcej »
1900
Bez opisu.
Nowy!!: Haskell Curry i 1900 · Zobacz więcej »
1982
Bez opisu.
Nowy!!: Haskell Curry i 1982 · Zobacz więcej »