Spis treści
16 kontakty: Alonzo Church, Amerykanie, Łódź, Berkeley (Kalifornia), Bronx, City College of New York, Dziesiąty problem Hilberta, Matematyk, Matematyka, New York University, Nowy Jork, Problem stopu, Procedura Davisa-Putnama, Stany Zjednoczone, Uniwersytet Princeton, 1 stycznia.
Alonzo Church
Alonzo Church (ur. 14 czerwca 1903 w Waszyngtonie, zm. 11 sierpnia 1995 w Hudson) – amerykański logik i matematyk.
Zobaczyć Martin Davis i Alonzo Church
Amerykanie
Amerykanie (ang. Americans) – pluralistyczna wspólnota narodowo-państwowa pochodzenia imigracyjnego, kształtująca się w Stanach Zjednoczonych, licząca w 2010 roku około 308,7 mln osób.
Zobaczyć Martin Davis i Amerykanie
Łódź
(Lodsch, w latach 1940–1945 Litzmannstadt) – miasto na prawach powiatu w środkowej Polsce, w historycznej ziemi łęczyckiej.
Zobaczyć Martin Davis i Łódź
Berkeley (Kalifornia)
Berkeley, Telegraph Avenue Miasto od strony autostrady I-80 Berkeley – miasto w Stanach Zjednoczonych (stan Kalifornia, hrabstwo Alameda), należące do zespołu miejskiego San Francisco, na wschodnim brzegu zatoki.
Zobaczyć Martin Davis i Berkeley (Kalifornia)
Bronx
Bronx – jeden z pięciu okręgów (boroughs) Nowego Jorku oraz hrabstwo (county) w stanie Nowy Jork.
Zobaczyć Martin Davis i Bronx
City College of New York
The City College of The City University of New York (powszechniej znany jako City College of New York lub po prostu City College, CCNY) – uczelnia w Nowym Jorku w Stanach Zjednoczonych, najstarsza z 24 instytucji kształcenia wyższego City University of New York i pierwsza publiczna uczelnia w Stanach Zjednoczonych.
Zobaczyć Martin Davis i City College of New York
Dziesiąty problem Hilberta
Dziesiąty problem Hilberta jest jednym z 23 matematycznych problemów przedstawionych przez Davida Hilberta w 1900 roku.
Zobaczyć Martin Davis i Dziesiąty problem Hilberta
Matematyk
lwowskiej szkoły matematycznej (1930) Matematyk (ze, mathēmatikós – matematyczny) – osoba ze znaczącąwiedząo matematyce, zwłaszcza używająca jej do pracy.
Zobaczyć Martin Davis i Matematyk
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.
Zobaczyć Martin Davis i Matematyka
New York University
Washington Arch na Washington Square (nieoficjalny symbol NYU) New York University (NYU) – największa uczelnia w Nowym Jorku i jedna z największych w USA.
Zobaczyć Martin Davis i New York University
Nowy Jork
Nowy Jork (ang. City of New York, również New York, New York City) – miasto w Stanach Zjednoczonych o największej liczbie mieszkańców, a zarazem centrum jednej z najludniejszych aglomeracji na świecie.
Zobaczyć Martin Davis i Nowy Jork
Problem stopu
Problem stopu – zagadnienie algorytmiczne odpowiadające, dla danego algorytmu, na pytanie, czy realizujący go program zatrzyma się (w skończonym czasie); pytanie może dotyczyć konkretnych danych wejściowych albo wszystkich możliwych.
Zobaczyć Martin Davis i Problem stopu
Procedura Davisa-Putnama
Procedura Davisa-Putnama – bardzo efektywny system dowodzenia twierdzeń dla rachunku zdań.
Zobaczyć Martin Davis i Procedura Davisa-Putnama
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.
Zobaczyć Martin Davis i Stany Zjednoczone
Uniwersytet Princeton
Uniwersytet Princeton – uniwersytet w Princeton, w stanie New Jersey, czwarta najstarsza uczelnia w Stanach Zjednoczonych.
Zobaczyć Martin Davis i Uniwersytet Princeton
1 stycznia
Figura Matki Boskiej z Dzieciątkiem Jezus.
Zobaczyć Martin Davis i 1 stycznia