CERCETĂRI PRIVIND FUNCȚIILE RECURSIVE, LOGICA ȘI TEORIA DEMONSTRAȚIEI - În anul 1927, matematicianul român Gabriel Sudan (1899-1977), cu doctoratul la David Hilbert, a dat primul exemplu de funcție recursivă care nu este primitiv recursivă, înaintea lui Wilhelm Ackermann (1928). În perioada 1934-1942, la Universitatea din Iași, matematicianul Grigore C. Moisil (1906-1973) se ocupa de «Logică și teoria demonstrației» și propunându-și «să învețe matematica de la început», la «minunata bibliotecă» a Seminarului matematic din Iași, a studiat cartea lui Hilbert și Ackermann, dar și cele 3 volume "Principia Mathematica" ale lui Russel și Whitehead. Profesorul Moisil a aflat despre logicile cu mai multe valori ale lui Lukasiewicz, în primăvara anului 1935, când T. Kotarbinski, profesor la Universitatea din Varșovia, a ținut la Iași 3 conferințe publice și o scurtă lecție la Seminarul Matematic asupra scrierii fără paranteze a lui Lukasiewicz.
Marin Vlada în proiectul ROINFO Romanian Informatics 2018-2022
Adăugat de Marin Vlada

Comentează! | Votează! | Copiază!
Citate similare
Partea I - Pionieri ai informaticii românești de la Facultatea de Matematică (inclusiv cercetători/programatori de la Centrul de Calcul al Universității din București (CCUB), fondat de Grigore C. Moisil (1906-1973), în anul 1962), Universitatea din București (discipoli ai acad. Grigore C. Moisil și ai acad. Solomon Marcus):
1. Leon Livovschi, un pionier al informaticii românești și colaborator apropiat al acad. Gr. C. Moisil; 2. Constantin P. Popovici, colaborator al acad. Gr. C. Moisil și unul din primii profesori de informatică; 3. Stelian Niculescu, unul din primii informaticieni români; 4. Dragoș Vaida: matematica și informatica, în consonanță; 5. Ion Văduva, dezvoltator al CCUB fondat de Gr. C. Moisil, un inițiator și dezvoltator de cercetări în simularea stochastic; 6. Sergiu Rudeanu, un teoretician în algebră universală, algebră booleană, programarea pseudo-booleană ; 7. Un discipol al lui Gr. C. Moisil: Luminița State; 8. Octavian Bâscă, un pionier al informaticii românești ; 9. Nicolae Țăndăreanu, un pionier al informaticii românești; 10. Emil N. Perjeriu, destinul unui geometru informatician; 11. Ioan Tomescu, creator al școlii românești de teoria grafurilor;
Marin Vlada în Volumul III, cap. 6, proiectul ROINFO Romanian Informatics 2018-2022 (mai 2021)
Adăugat de Marin Vlada

Comentează! | Votează! | Copiază!
S-a elaborat un studiu privind prioritățile pe plan mondial în dezvoltarea domeniului Computing, în special evidențiind contribuțiile lui David Hilbert, Wilhelm Acherman, Alonzo Church, Kurt Gödel, Alan Turing, John von Neumann, Norbert Wiener, Noam Chomsky. S-a ajuns la concluzia că și România se poate mândri cu unele priorități în acest domeniu, scoțând în evidență contribuțiile următoarelor personalități: Gabriel Sudan, Ștefan Odobleja, Grigore C. Moisil, Tiberiu Popoviciu, Victor Toma, Wilhelm Löwenfeld, Iosif Kaufmann, Solomon Marcus, Sergiu Rudeanu.
Marin Vlada în proiectul ROINFO Romanian Informatics 2018-2022 (mai 2021)
Adăugat de Marin Vlada

Comentează! | Votează! | Copiază!
Partea III - Pionieri ai informaticii românești de la Facultatea de Matematică (inclusiv cercetători/programatori de la Centrul de Calcul al Universității din București (CCUB), fondat de Grigore C. Moisil (1906-1973), în anul 1962), Universitatea din București (discipoli ai acad. Grigore C. Moisil și ai acad. Solomon Marcus):
23. Denis Enăchescu, un informatician expert în metoda Monte Carlo, Data Mining și Inteligența Articială; 24. Anton Bătătorescu, un informatician expert în statistică și cercetări operaționale; 25. Ștefan Ștefănescu, un informatician specialist în modele statistice, algoritmi și prelucrări de date; 26. Marin Popa, un matematician expert în rețele Petri și rețele de calculatoare, formator al generațiilor de informaticieni; 27. Rodica Ceterchi, un matematician al limbajelor formale, teoriei categoriilor și al algebrelor universale; 28. Marin Vlada, un informatician expert în Grafica pe calculator, Inteligența artificială și tehnologii e-Learning; 29. Ileana Streinu, un matematician-informatician cu cercetări în Inteligența artificială și în geometria computațională; 30. Mihaela Malița, un informatician al inteligenței artificiale și al tehnologiilor; 31. Monica Tătărâm, un formator al generațiilor de informaticieni;
Marin Vlada în proiectul ROINFO Romanian Informatics 2018-2022 (mai 2021)
Adăugat de Marin Vlada

Comentează! | Votează! | Copiază!
Partea II - Pionieri ai informaticii românești de la Facultatea de Matematică (inclusiv cercetători/programatori de la Centrul de Calcul al Universității din București (CCUB), fondat de Grigore C. Moisil (1906-1973), în anul 1962), Universitatea din București (discipoli ai acad. Grigore C. Moisil și ai acad. Solomon Marcus):
12. Virgil Emil Căzănescu, un teoretician al fundamentelor informaticii; 13. Nicolae Popoviciu, matematician, un pionier al informaticii românești; 14. Gheorghe Păun, un matematician-informatician inițiator al modelului de Membrane Computing: P systems; 15. Cristian Calude, un discipol al acad. Solomon Marcus cu contribuții în teoria algoritmică a informației și calcul cuantic;
16. Horia Georgescu, promotor al limbajelor și tehnicilor de programare; 17. Adrian Atanasiu, un teoretician al limbajelor formale, criptografiei formale și prelucrării limbajului natural; 18. George Georgescu, un profesor de logici fuzzy și de teoria combinatorică; 19. Alexandru Mateescu, un matematician al limbajele formale și al structurilor matematice discrete; 20. Ileana Popescu, un formator al generațiilor de informaticieni; 21. Tudor Bălănescu, Șerban Gavrilă, Marian Gheorghe, Radu Nicolescu, Liviu Sofonea: abordare pragmatică și formalizată a metodologiilor de programare;
22. Ioan Roșca, un matematician expert în metode numerice și metoda elementului finit;
Marin Vlada în proiectul ROINFO Romanian Informatics 2018-2022 (mai 2021)
Adăugat de Marin Vlada

Comentează! | Votează! | Copiază!

Teoria lui Cantor îmi pare punctul cel mai admirabil al spiritului matematic. Nimeni nu ne va alunga din paradisul pe care Cantor l-a creat pentru noi.
citat din David Hilbert
Adăugat de Micheleflowerbomb

Comentează! | Votează! | Copiază!
Începutul informaticii românești: 1953, 1957 sau 1959. informatică românească?
Se poate lua ca reper anul 1953. În perioada 1953-1954, ROMÂNIA ocupa locul III în lume, după SUA și URSS, în activitatea de cercetare privind "Teoria circuitelor de comutație" după nr. de articole (Gr. C. Moisil, Activitatea CCUB, revista AMC, Editura Tehnică, nr. 13-14, 1970). Pentru aceste rezultate acad. Gigore C. Moisil primește - în anul 1996, Computer Pioneer Award (IEEE - Computer Society).
Se poate lua ca reper anul 1957, când România și-a construit propriul său calculator electronic. În perioada 1955-1957, ROMÂNIA a proiectat și construit primul său calculator electronic numeric (anul 1957, calculatorul CIFA 1), de către un colectiv condus de ing. Victor Toma, la Institutul de Fizică Atomică (IFA) Măgurele București. Astfel, ROMÂNIA a fost a VIII-a țară din lume ce a proiectat și a construit un calculator electronic cu tuburi electronice (1957).
Se poate lua ca reper anul 1959, când în România a apărut secția "Mașini de calcul", la inițiativa acad. Grigore C. Moisil, care a funcționat în ultimii 2 ani terminali din cei 5 ani cât dura programul de studii la Facultatea de Matematică și Fizică din acea vreme. Aceasta a funcționat până în anul 1971 când s-a introdus secția "Informatică".
Marin Vlada în proiectul ROINFO Romanian Informatics 2018-2022 (15 mai 2021)
Adăugat de Marin Vlada

Comentează! | Votează! | Copiază!
FUNDAMENTAREA MODELELOR PENTRU COMPUTING ȘI DEZVOLTAREA DOMENIULUI INFORMATICĂ - În perioada 1953-1954, ROMÂNIA ocupa locul III în lume, după SUA și URSS, în activitatea de cercetare privind "Teoria circuitelor de comutație" după nr. de articole (Gr. C. Moisil, Activitatea CCUB, revista AMC, Editura Tehnică, nr. 13-14, 1970). Pentru aceste rezultate acad. Gigore C. Moisl primește - în anul 1996, Computer Pioneer Award (IEEE - Computer Society). În perioada 1971-1980 (1967, 1971, 1972) au urmat programe pentru sistemul național de informatică și conducere, privind dotarea cu tehnică de calcul.
Marin Vlada în proiectul ROINFO Romanian Informatics 2018-2022
Adăugat de Marin Vlada

Comentează! | Votează! | Copiază!
Partea IV - Pionieri ai informaticii românești de la Facultatea de Matematică (inclusiv cercetători/programatori de la Centrul de Calcul al Universității din București (CCUB), fondat de Grigore C. Moisil (1906-1973), în anul 1962), Universitatea din București (discipoli ai acad. Grigore C. Moisil și ai acad. Solomon Marcus): 32. Matei Bogdan, inginer-informatician, formator al generațiilor de informaticieni; 33. Maria Lovin, inginer-informatician, pionier al informaticii românești; 34. Victorina Panaite, matematician-informatician, pionier al informaticii românești; 35. Dorin Panaite, inginer-informatician, pionier al informaticii românești; 36. Elena-Liliana Popescu, un formator al generațiilor de informaticieni; 37. Mihail Cherciu, un formator al generațiilor de informaticieni; 38. Paul Radovici-Mărculescu, matematicianinformatician; 39. Mircea Adam, un formator al generațiilor de informaticieni; 40. Rodica-Florentina Niculescu, matematician-informatician; 41. Gheorghe Petrescu, matematician-informatician; 42. Petre Preoteasa, matematician-informatician; 43. Constantina Ioan, matematician-informatician.
Marin Vlada în proiectul ROINFO Romanian Informatics 2018-2022 (mai 2021)
Adăugat de Marin Vlada

Comentează! | Votează! | Copiază!
Instituirea zilei de 10 ianuarie ca Ziua națională a matematicii, informaticii și științelor naturii, ziua de naștere a acad. Gr. C. Moisil. Activitate finalizată în cadrul proiectului ROINFO, cu ocazia întâlnirii grupului "Moisil", la 10 ianuarie 2020, pentru omagierea acad. Grigore C. Moisil - Proiectul ROINFO.
Marin Vlada în proiectul ROINFO Romanian Informatics 2018-2022 (aprilie 2021)
Adăugat de Marin Vlada

Comentează! | Votează! | Copiază!

Îi doresc noroc oltenesc, în zodia succesului
Admir la Cristea pașii uriași,
Când triumfal, purcede încotrova:
El schimbă Politehnica din Iași
Cu Universitatea, la... Craiova!
epigramă de Petre Ion Florin Vasilescu
Adăugat de Cornelia Georgescu

Comentează! | Votează! | Copiază!

Prietenilor umoriști din Iași
Eu cred că nu greșesc defel
Când spun: la Iași, cu Păstorel
Ați cam ajuns la apogeu;
La Cluj vor pune bustul meu...
epigramă de Petru Ioan Gârda
Adăugat de Cornelia Georgescu

Comentează! | Votează! | Copiază!

Prietenilor umoriști din Iași
Eu cred că nu greșesc defel
Când spun: la Iași, cu Păstorel
Ați cam ajuns la apogeu;
La Cluj vor pune bustul meu..
epigramă de Petru Ioan Gârda
Adăugat de Cornelia Georgescu

Comentează! | Votează! | Copiază!
Noi, românii, nu am progresat decât împinși de la spate, dar și atunci - doar în două cazuri: când am avut parte de niște conducători geniali sau când am fost conduși de străini. Faptul că prima universitate din spațiul românesc a apărut (1860, Iași) la mai mult de o jumătate de mileniu după Universitatea din Praga (1348), este, probabli, primul argument care susține această tristă constatare.
Marian Pătrașcu (iulie 2015)
Adăugat de Marian Pătrașcu

Comentează! | Votează! | Copiază!
Centrul de Calcul al Universității din București (CCUB), prima unitate de informatică înființată în România. Anul 1962 acad. Grigore C. Moisil înființează Centrul de Calcul, pe lângă Catedra de Algebră condusă de Moisil, cu statut de laborator, ce va deveni Centrul de Calcul al Universității din București (CCUB) la Facultatea de Matematică, primul cu acest profil din țară. În activitățile organizate pentru utilizarea calculatorului s-a pregătit un număr de cercetători din care erau matematicieni, ingineri, fizicieni, economiști, lingviști, logicieni.
Marin Vlada în proiectul ROINFO Romanian Informatics 2018-2022 (mai 2021)
Adăugat de Marin Vlada

Comentează! | Votează! | Copiază!
Centrul de Calcul al Universității din București (CCUB), prima unitate de informatică înființată în România. Anul 1962 acad. Grigore C. Moisil înființează Centrul de Calcul, pe lângă Catedra de Algebră condusă de Moisil, cu statut de laborator, ce va deveni Centrul de Calcul al Universității din București (CCUB) la Facultatea de Matematică, primul cu acest profil din țară. În activitățile organizate pentru utilizarea calculatorului s-a pregătit un număr de cercetători din care erau matematicieni, ingineri, fizicieni, economiști, lingviști, logicieni.
Marin Vlada în proiectul ROINFO Romanian Informatics 2018-2022 (mai 2021)
Adăugat de Marin Vlada

Comentează! | Votează! | Copiază!
Spuneți generațiilor viitoare că în România s-a creat Cibernetica (Ștefan Odobleja, 1938-1939), că România a dezvoltat o informatică românească (Grigore C. Moisil, după anul 1953) și a construit propriul calculator electronic (Victor Toma, CIFA-1, anul 1957)!
Marin Vlada în proiectul ROINFO Romanian Informatics 2018-2022 (15 mai 2021)
Adăugat de Marin Vlada

Comentează! | Votează! | Copiază!

Din Craiova pân' la Iași
Din Craiova pân' la Iași
Se resimte lipsa sării,
Fi'ndcă cei mai mulți ocnași
Au ajuns la cârma țării.
epigramă de Păstorel Teodoreanu
Adăugat de Gheorghe Culicovschi

Comentează! | Votează! | Copiază!
Discursul public despre eugenism a fost foarte răspândit, de la reviste de popularizare a științei și medicinii până la reviste de interes general, expoziții publice și conferințe radio. Au existat reviste specifice dedicate eugenismului și se preda la universitățile din București, Cluj și Iași. Spre exemplu, expoziția publică din Parcul Carol din anul 1936 dedicată copilului, organizată de Fundația Principelui Mircea. Panouri și pavilioane tratau diferite subiecte legate de copil și familie, de la alăptat până la educația eugenică: părinții erau informați despre importanța eredității, a bolilor congenitale, a bolilor venerice, despre importanța familiei pentru stat și națiune.
Marius Turda în interviu (23 noiembrie 2012)
Adăugat de Simona Enache

Comentează! | Votează! | Copiază!

Chirița în Iași
scenariu, comedie cu cântece în 3 acte
Această lucrare este în domeniul public, deoarece drepturile de autor au expirat.
carte de Vasile Alecsandri
Adăugat de Alina Alexoiu

Comentează! | Votează! | Copiază!
- logică
- Logica este igiena pe care matematicianul o practică pentru a-și păstra ideile sănătoase și puternice.
definiție de Hermann Weyl
Adăugat de Lucian Velea

Comentează! | Votează! | Copiază!