Logo
Unioonpeedia
Side
Hankige see Google Play
Uus! Lae Unioonpeedia oma Android ™!
Lae alla
Kiiremini kui brauser!
 

Alonzo Church

Index Alonzo Church

Alonzo Church (14. juuni 1903 – 11. august 1995) oli Ameerika Ühendriikide matemaatik ja loogik, kes andis olulise panuse matemaatilise loogika arengusse ja teoreetilise informaatika alustesse.

29 suhted: Alan Turing, Ameerika Ühendriigid, Amsterdami Ülikool, Buffalo Ülikool, California Ülikool, California Ülikool Los Angeleses, Chicago Ülikool, Churchi tees, Columbia ringkond, Doktorikraad, Göttingeni ülikool, Harvardi ülikool, Keelefilosoofia, Lambda-arvutus, Loogika, Lorentzi teisendus, Los Angeles, Matemaatika, Matemaatiline loogika, New Yorgi Ülikool, Princetoni Ülikool, Stockholm, Turingi masin, Virginia, Washington, 11. august, 14. juuni, 1903, 1995.

Alan Turing

Alan Mathison Turing OBE FRS (23. juuni 1912 London – 7. juuni 1954 Wilmslow) oli inglise informaatik, matemaatik, loogik, krüptoanalüütik, filosoof ja bioloogiateoreetik.

Uus!!: Alonzo Church ja Alan Turing · Näe rohkem »

Ameerika Ühendriigid

Ameerika Ühendriigid ehk Ühendriigid (inglise keeles United States of America, lühend USA; varem ka Põhja-Ameerika Ühendriigid) on riik, mille põhiosa paikneb Põhja-Ameerika mandri keskosas.

Uus!!: Alonzo Church ja Ameerika Ühendriigid · Näe rohkem »

Amsterdami Ülikool

Amsterdami Ülikool (hollandikeelne lühend UvA: Universiteit van Amsterdam) on avalik-õiguslik ülikool Hollandis Amsterdamis.

Uus!!: Alonzo Church ja Amsterdami Ülikool · Näe rohkem »

Buffalo Ülikool

Logo Buffalo Ülikool (inglise keeles University at Buffalo) on ülikool USAs New Yorgi osariigis Amherstis.

Uus!!: Alonzo Church ja Buffalo Ülikool · Näe rohkem »

California Ülikool

California Ülikool (ingl. k. University of California) on riiklike ülikoolide süsteem Ameerika Ühendriikide California osariigis.

Uus!!: Alonzo Church ja California Ülikool · Näe rohkem »

California Ülikool Los Angeleses

California Ülikool Los Angeleses (University of California, Los Angeles, sageli kasutatava lühendina UCLA) on 1919.

Uus!!: Alonzo Church ja California Ülikool Los Angeleses · Näe rohkem »

Chicago Ülikool

Chicago Ülikool on eraülikool Chicagos Ameerika Ühendriikides.

Uus!!: Alonzo Church ja Chicago Ülikool · Näe rohkem »

Churchi tees

Churchi tees (ka Churchi-Turingi tees) on hüpotees, mis väidab, et kõiki võimalikke arvutusi saab läbi viia arvuti algoritmide abil.

Uus!!: Alonzo Church ja Churchi tees · Näe rohkem »

Columbia ringkond

Columbia ringkonna asukoht Marylandi ja Virgina osariigi piiril Columbia ringkond (lühend DC – District Of Columbia) on USA 1. järgu haldusüksus.

Uus!!: Alonzo Church ja Columbia ringkond · Näe rohkem »

Doktorikraad

Doktorikraad on kõrgeim teaduskraad paljudes riikides, sealhulgas Eestis.

Uus!!: Alonzo Church ja Doktorikraad · Näe rohkem »

Göttingeni ülikool

Aula Göttingeni ülikool (ka Göttingeni Georg Augusti ülikool, saksa keeles Georg-August-Universität Göttingen) on ülikool Saksamaal Göttingenis.

Uus!!: Alonzo Church ja Göttingeni ülikool · Näe rohkem »

Harvardi ülikool

Harvardi Ülikool (inglise keeles Harvard University) on eraõiguslik ülikool, mis asub Cambridge'is Massachusettsi osariigis Ameerika Ühendriikides.

Uus!!: Alonzo Church ja Harvardi ülikool · Näe rohkem »

Keelefilosoofia

Keelefilosoofia on filosoofia haru ja filosoofilise mõtlemise stiil, mis on seotud väljendite kasutamise, teooriate konstrueerimise viiside ja teadmiste väljendusvahendite korrektse kasutamise põhimõtete uurimisega.

Uus!!: Alonzo Church ja Keelefilosoofia · Näe rohkem »

Lambda-arvutus

Lambda-arvutus (λ-arvutus) on formaalne arvutuste esitusviis.

Uus!!: Alonzo Church ja Lambda-arvutus · Näe rohkem »

Loogika

Loogika on teadus mõtlemise reeglitest, struktuuridest ja vormidest.

Uus!!: Alonzo Church ja Loogika · Näe rohkem »

Lorentzi teisendus

vaatleja kiirendab Lorentzi teisendus (hollandi füüsiku Hendrik Lorentzi järgi) on aegruumi teisendus erirelatiivsusteoorias, millega seotakse kahe erineva inertsiaalses taustsüsteemis paikneva vaatleja mõõtmistulemused.

Uus!!: Alonzo Church ja Lorentzi teisendus · Näe rohkem »

Los Angeles

Los Angeles (hispaania keeles Los Ángeles; sageli lühendatakse linna nime L.A.) on linn USA-s Vaikse ookeani idarannikul California osariigi lõunaosas.

Uus!!: Alonzo Church ja Los Angeles · Näe rohkem »

Matemaatika

Matemaatika (sõna algallikas on vanakreeka väljend μαθηματική τέχνη (mathēmatikē téchnē; ligikaudne tähendus 'õppimise kunst')) on teadusharu, mis on välja kujunenud geomeetriliste kujundite uurimisest ja arvudega arvutamisel.

Uus!!: Alonzo Church ja Matemaatika · Näe rohkem »

Matemaatiline loogika

Matemaatiline loogika ehk sümbolloogika on matemaatika haru, mis uurib matemaatilisi tõestusi ja matemaatika aluseid.

Uus!!: Alonzo Church ja Matemaatiline loogika · Näe rohkem »

New Yorgi Ülikool

New Yorgi Ülikool (inglise keeles New York University, NYU) on eraõiguslik ülikool Ameerika Ühendriikides New Yorgis.

Uus!!: Alonzo Church ja New Yorgi Ülikool · Näe rohkem »

Princetoni Ülikool

Princetoni Ülikool on eraülikool, mis asub USA New Jersey osariigi Princetoni piirkonna kolmes maakonnas.

Uus!!: Alonzo Church ja Princetoni Ülikool · Näe rohkem »

Stockholm

Stockholm (ametlikult Stockholmi vald (Stockholms kommun, poolametlikult Stockholmi linn (Stockholms stad)) on Rootsi pealinn, vald Rootsis Stockholmi läänis. Põhjala Veneetsiaks ja Mälareni kuningannaks nimetatud Stockholm asub Mälareni järve ja Läänemere vahelise väina kaldail ja saartel, mida ühendab üle 50 silla. 1252 asutatud linna ajalooline südamik paikneb Stadeni saarel. Stockholmis on palju kauneid keskaegseid ehitisi. 1950. aastatel rajati Stadenist põhja poole Norrmalmi 5 ühesuguse kõrghoonega ärikeskus Hötorgscity, kus tohib liikuda ainult jalgsi. Djurgårdeni saarel on muuseume (Skanseni vabaõhumuuseum, Põhjala muuseum, Vasa laev Vasa muuseumis), suur park ja loomaaed. Stockholmis asub enamik riigi suuri õppe- ja teadusasutusi (ülikool, akadeemiad, 3 Nobeli instituuti). Stockholm on riigi suurimaid sadama- ja tööstuslinnu. Veebruaris 2009 tunnustas Euroopa Komisjon Stockholmi keskkonnasõbraliku eluviisi eest ning nimetas linna 2010. aasta Euroopa keskkonnapealinnaks. Stockholmi kliimadiagramm.

Uus!!: Alonzo Church ja Stockholm · Näe rohkem »

Turingi masin

Turingi masin on Alan Turingi 1937.

Uus!!: Alonzo Church ja Turingi masin · Näe rohkem »

Virginia

Virginia (inglise keeles Commonwealth of Virginia) on Atlandi ookeani ääres asuv Ameerika Ühendriikide osariik.

Uus!!: Alonzo Church ja Virginia · Näe rohkem »

Washington

Valgele Majale Washingtonis Washingtoni linnaosade kaart Washington (inglise keeles ka Washington, D.C.) on Ameerika Ühendriikide pealinn.

Uus!!: Alonzo Church ja Washington · Näe rohkem »

11. august

11.

Uus!!: Alonzo Church ja 11. august · Näe rohkem »

14. juuni

14.

Uus!!: Alonzo Church ja 14. juuni · Näe rohkem »

1903

1903.

Uus!!: Alonzo Church ja 1903 · Näe rohkem »

1995

1995.

Uus!!: Alonzo Church ja 1995 · Näe rohkem »

VäljuvSaabuva
Hei! Oleme Facebookis nüüd! »