32 kapcsolatok: A Magyar Népköztársaság Állami Díja, Ackermann-függvény, Akadémiai Kiadó, Benedek Marcell, Budapest, Budapesti Tanárképző Főiskola, Dante Könyvkiadó, Eötvös Loránd Tudományegyetem, ELTE Természettudományi Kar, Farkasréti temető, Február 16., Február 17., Gödel első nemteljességi tétele, Halmazelmélet, Kalmár László (matematikus), Kossuth-díj, Kurt Gödel, Logika, Magyar Tudományos Akadémia, Magyarok, Matematikus, Parciálisan rekurzív függvény, 1905, 1927, 1939, 1947, 1951, 1952, 1955, 1973, 1975, 1977.
A Magyar Népköztársaság Állami Díja
A Magyar Népköztársaság Állami Díja (röviden Állami Díj) a Magyar Népköztársaság Elnöki Tanácsa által 1963-ban alapított állami kitüntetés volt (1963. évi 36. tvr.), amelyet kiemelkedő tudományos, gazdasági és műszaki eredmények, illetve a nevelőmunka és a gyógyítás területén elért kiváló teljesítmények elismeréseként egyes személyeknek vagy kollektíváknak adományoztak.
Új!!: Péter Rózsa és A Magyar Népköztársaság Állami Díja · Többet látni »
Ackermann-függvény
Az Ackermann-függvény egy, a matematikai logikában definiált, de újabban a számítógéptudomány és a kombinatorika által is használt függvény.
Új!!: Péter Rózsa és Ackermann-függvény · Többet látni »
Akadémiai Kiadó
Az Akadémiai Kiadó a Magyar Tudományos Akadémia által 1828-ban alapított intézmény.
Új!!: Péter Rózsa és Akadémiai Kiadó · Többet látni »
Benedek Marcell
Benedek Marcell (Budapest, 1885. szeptember 22. – Budapest, 1969. május 30.) magyar egyetemi tanár, író, irodalomtörténész és műfordító, színházigazgató, a Magyarországi Symbolikus Nagypáholy nagymestere.
Új!!: Péter Rózsa és Benedek Marcell · Többet látni »
Budapest
Budapest (németül: Ofen-Pesth vagy Budapest, latinul: Budapestinum, szlovákul és csehül: Budapešť, lengyelül: Budapeszt, horvátul és szlovénül: Budimpešta, jiddisül: בודאפעשט, románul: Budapesta) Magyarország fővárosa, egyben legnagyobb és legnépesebb települése, jelenleg az Európai Unió 9.
Új!!: Péter Rózsa és Budapest · Többet látni »
Budapesti Tanárképző Főiskola
Budapesti Tanárképző Főiskola néven volt ismert az a felsőoktatási intézmény, ami 1975-től az egri Ho Si Minh Tanárképző Főiskola budapesti kihelyezett tagozataként működött 1983-ig, mikor az ELTE magába olvasztotta és annak ELTE Tanárképző Főiskolai Karaként működött tovább.
Új!!: Péter Rózsa és Budapesti Tanárképző Főiskola · Többet látni »
Dante Könyvkiadó
A Dante Könyvkiadó Budapesten működött a két világháború között.
Új!!: Péter Rózsa és Dante Könyvkiadó · Többet látni »
Eötvös Loránd Tudományegyetem
Az Eötvös Loránd Tudományegyetem (rövidítve: ELTE, latin nevén: Universitas Budapestinensis de Rolando Eötvös nominata) Magyarország leghosszabb ideje folyamatosan működő egyeteme, egyike az ország legnagyobb és legtekintélyesebb felsőoktatási intézményeinek.
Új!!: Péter Rózsa és Eötvös Loránd Tudományegyetem · Többet látni »
ELTE Természettudományi Kar
Az Eötvös Loránd Tudományegyetem Természettudományi Kara (rövidítve: ELTE TTK) az egyetem egyik kara.
Új!!: Péter Rózsa és ELTE Természettudományi Kar · Többet látni »
Farkasréti temető
A Farkasréti temető Budapest és Magyarország egyik legjelentősebb sírkertje, melyet 1894-ben nyitottak meg.
Új!!: Péter Rózsa és Farkasréti temető · Többet látni »
Február 16.
Névnapok: Julianna, Lilla + Dániel, Daniló, Dános, Darrell, Eliána, Éliás, Eliél, Eliot, Elton, Eponin, Filip, Filippa, Fülöp, Illés, Jósiás, Józsiás, Juliána, Julinka, Juliska, Samu, Sámuel, Zámor, Musztafa.
Új!!: Péter Rózsa és Február 16. · Többet látni »
Február 17.
Névnapok: Donát + Ajándok, Alex, Donátó, Egyed, Elek, Emőd, Lukács, Rex.
Új!!: Péter Rózsa és Február 17. · Többet látni »
Gödel első nemteljességi tétele
''Gödel I. nemteljességi tételének elve''. Az aritmetikában felírható az a ☐''A'' formula, melynek jelentése: „''A'' levezethető”, és az a '''G''' Gödel-mondat, melynek jelentése: ''a'' '''G''' ''mondat (tehát saját maga) nem levezethető''. Ha az aritmetikából nem vezethető le ellentmondás ''(T'' ⊬ '''f')'', akkor sem '''G''', sem negációja (¬'''G''') nem bizonyítható, azaz '''G''' „igazságértéke” a matematika számára eldönthetetlen. Gödel első nemteljességi tétele Kurt Gödel osztrák matematikus matematikai logika és a metamatematika nagy jelentőségű tétele, mely (a Gödel második nemteljességi tételével együtt) destruktív hatást gyakorolt a matematika formális nyelvekre építő megalapozási kísérleteire.
Új!!: Péter Rózsa és Gödel első nemteljességi tétele · Többet látni »
Halmazelmélet
A halmazelmélet - a matematikai logikával együtt - a matematika legalapvetőbb tudományága, mely a halmaz fogalmát tanulmányozza.
Új!!: Péter Rózsa és Halmazelmélet · Többet látni »
Kalmár László (matematikus)
Kalmár László (Edde-Alsóbogátpuszta, 1905. március 27. – Mátraháza, 1976. augusztus 2.) magyar matematikus, az MTA tagja.
Új!!: Péter Rózsa és Kalmár László (matematikus) · Többet látni »
Kossuth-díj
magyar állami kitüntetés névadója A Kossuth-díj a magyar kultúra művelésének és ápolásának elismeréséért járó legmagasabb magyar állami kitüntetés, amely Kossuth Lajosról kapta a nevét.
Új!!: Péter Rózsa és Kossuth-díj · Többet látni »
Kurt Gödel
Kurt Gödel (Brünn, 1906. április 28. – Princeton, New Jersey, 1978. január 14.) osztrák matematikus, logikus és tudományfilozófus.
Új!!: Péter Rózsa és Kurt Gödel · Többet látni »
Logika
A logika az érvényes következtetések és bizonyítások, illetve az ezzel összefüggő filozófiai, matematikai, nyelvészeti és tudományos módszertani kérdések tudománya.
Új!!: Péter Rózsa és Logika · Többet látni »
Magyar Tudományos Akadémia
A Magyar Tudományos Akadémia (röviden: MTA) magyarországi tudományos köztestület, amelynek fő feladata a tudomány művelése, a tudomány eredményeinek terjesztése, a magyar tudomány képviselete.
Új!!: Péter Rózsa és Magyar Tudományos Akadémia · Többet látni »
Magyarok
Nincs leírás.
Új!!: Péter Rózsa és Magyarok · Többet látni »
Matematikus
Eukleidész, görög matematikus (jobbra), aki a „geometria atyja” néven is ismert A matematikus olyan személy, akinek kutatási szakterülete a matematika.
Új!!: Péter Rózsa és Matematikus · Többet látni »
Parciálisan rekurzív függvény
A parciálisan rekurzív függvények definíciója a bizonyításelmélet (matematikai logika), illetve a komplexitáselmélet egyik fontos fogalma.
Új!!: Péter Rózsa és Parciálisan rekurzív függvény · Többet látni »
1905
Nincs leírás.
Új!!: Péter Rózsa és 1905 · Többet látni »
1927
Nincs leírás.
Új!!: Péter Rózsa és 1927 · Többet látni »
1939
Nincs leírás.
Új!!: Péter Rózsa és 1939 · Többet látni »
1947
Nincs leírás.
Új!!: Péter Rózsa és 1947 · Többet látni »
1951
Nincs leírás.
Új!!: Péter Rózsa és 1951 · Többet látni »
1952
Nincs leírás.
Új!!: Péter Rózsa és 1952 · Többet látni »
1955
Nincs leírás.
Új!!: Péter Rózsa és 1955 · Többet látni »
1973
Nincs leírás.
Új!!: Péter Rózsa és 1973 · Többet látni »
1975
Nincs leírás.
Új!!: Péter Rózsa és 1975 · Többet látni »
1977
Nincs leírás.
Új!!: Péter Rózsa és 1977 · Többet látni »