65 Years from Birth of Prof. Gheorghe S. Nadiu (1941-1998)

  • Ioan Dzițac Agora University 8 Piata Tineretului 410526 ORADEA ROMANIA
  • Loriana Andrei University of Oradea 3-5 Universitatii St. 410087 ROMANIA

Abstract

In 1967, Gheorghe S. Nadiu publishes in “Mathematical studies and researches”, the article “On a method for the construction of Three - valued Łukasiewicz algebras” (Romania), cited in the book “Cylindric Algebras” by P. Monk, L. Henkin, A. Tarski. This article attracted the attention of Grigore C. Moisil, who offers him a scholarship, taking him out of production to make his doctorate at the Mathematic Institute of the Romanian Academy. He publishes more than 50 scientific papers in Theory of Algorithms, Logics of mathematics and Theory of Categories fields.“Gheorghe S. Nadiu, by introducing the notion of quantified filter in a boolean monadic algebra, showed how one can obtain a trivalent Łukasiewicz algebra; also, he obtained an algebraic characterization of a completitude theorem from the intuitionist logic of Kripke.” (G. St. Andonie, Science History in Romania, Academic Publishing House, SRR, 1981).

References

[1] P. Brădeanu, Gh. S. Nadiu, Asupra unui regim optim de mișcare a rachetelor balistice, An. Univ. din Timișoara, vol. III, 1965.

[2] Gh. S. Nadiu, Asupra unei teoreme de recursie a algoritmilor normali, Studii și cercetări matematice (Mathematical Reports), Tom. 18, 1966/7, pp. 1071.

[3] Gh. S. Nadiu, On a method for the construction of three-valued Łukasiewicz algebras (Romanian), Studii Cerc. Mat., 19, 1967, 1063-1070.

[4] I. Marușciac, Gh. S. Nadiu, O interpretare a algoritmilor, schemă-graf în legătură cu mașinile Turing și algoritmi de tip Cernevski, Studii și cercetări matematice, Tom. 20, 1968/7.

[5] Gh. S. Nadiu, The interpolation theorem in strict positive logic, Bull. Math. Soc. Sci. Math. Roum., Tom. 13, 1968/2.

[6] Gh. S. Nadiu, O mașină Turing universală pentru clasa algoritmilor normali, Studii și cercetări matematice, Tom. 21, 1969/1.

[7] Gh. S. Nadiu, Sur la logique de Heyting, in "Logique-Informatique-Automatique", Ed. of Romanian Academy, București, 1971.

[8] L. Henkin, J.D. Monk, A. Tarski, Cylindric Algebras, North-Holland, Amsterdam 1971.

[9] Gh. S. Nadiu, Sur la logique de Heyting, Abstract of IV Congress of logic, Bucharest, 1971.

[10] Gh. S. Nadiu, Elementary logic and models, Bull. Math. d Soc. Sci. Math. Roum., Tom. 15, 1971/1.

[11] Gh. S. Nadiu, Cercetări asupra logicilor necryssipiene/Research about Necryssipiene Logics, 1972 (PhD Thesis, supervisor Grigore C. Moisil).

[12] David P. Ellerman, Sheaves of Structures and Generalized Ultraproducts, Annals of Mathematical Logic, 7 (Dec. 1974), 163-195.
http://dx.doi.org/10.1016/0003-4843(74)90014-X

[13] Gh. S. Nadiu, An abstract calculi of superior order, Proc. of IV Congress of logic London-Ontario, Canada, 1975.

[14] Gh. S. Nadiu, O teoremă de exponențiere în categorii cateziene, Lucr. Șt., Institul Ped. Oradea, 1977.

[15] Gh. S. Nadiu, Asupra buclelor Moufang formele comutative/Note sur les boucles Moufang formelles commutatives (Romanian), Stud. Cercet. Mat. 32, pp. 193-207, 1980.

[16] Gh. S. Nadiu, Notă asupra spațiilor metrice constructive, Studii și cercetări matematice, 1980.

[17] Gh. S. Nadiu, Non-Clasical Logic of Superior Order, Resegna internationale di logica, Bologna, Bull.Math., 1981.

[18] Gh. S. Nadiu, Considerations sur les categories cartesienes fermes, bull. math.

[19] G. St. Andonie, History of sciences in Romania. Mathematics, mechanics, astronomy, (Istoria științelor în România. Matematica, mecanica, astronomie)(Romanian), Bucuresti: Ed. Acad. R.S.R.,1981, pp.123.

[20] Gh. S. Nadiu, Category of correspondence and extensions, Jounal of pure and appl. Algebra.

[21] Gh. S. Nadiu, On Boolean formal algebras, Bull. Math. d Soc. Sci. Math. Roum., 1978.

[22] Gh. S. Nadiu, Prefascicule peste latici Skolem (I), Lucrări Șt. ale Inst. de înv. sup. Oradea, 1978, ser. A, pp. 37-63.

[23] Gh. S. Nadiu, Asupra laticilor Skolem, Lucrări Șt. ale Inst. de înv. sup. Oradea, pp. 65-69, 1978.

[24] Nadiu, Gh.S., Considerations in category of Skolem lattices, (Romanian. English summary), Bul. Stiint. Inst. Politeh. Cluj-Napoca, Ser. Electroteh. Energ. Inf. 25, 29-36 1982.

[25] Gh. S. Nadiu, Logici cu mai multe sorturi de variabile și spații vectoriale, în vol. Lucrările celui de al III-lea Simpozion național de analiză funcțională, Craiova, 6-7 nov. 1981.

[26] Gh. S. Nadiu, T Pop, Automate-tehnologii și decizii, în vol. "Cibernetică aplicată", București, Ed. Acad. R.S.R., 1983.

[27] Gh. S. Nadiu, Aspecte booleene în categoria spațiilor vectoriale normate, în vol. Lucrările celui de al IV-lea Simpozion național de analiză funcțională, Craiova 6-7 nov. 1983.

[28] Gh. S. Nadiu, Prefascicule peste latici Skolem (II), Lucrăi Șt. ale Inst. de înv. sup. Oradea, seria A, 1978.

[29] Gh. S. Nadiu, Asupra logicii modale generale a lui Moisil, Lucrări Șt. ale Inst. de înv. sup. Oradea, seria A, 1978.

[30] Gh. S. Nadiu, Asupra ordonărilor Rudin-Kreisler în clasa ultrafiltrelor, Lucrări Șt. ale Inst. de înv. sup. Oradea, seria A, 1978.

[31] Gh. S. Nadiu, Contribuții la teoria relațiilor (I), Lucrări Șt. ale Inst. de înv. sup. Oradea, seria A, 1980.

[32] Gh. S. Nadiu, Contribu ctii la teoria relațiilor (II). Corespondențe via toposuri., Lucrări Științifice, Oradea, seria A, 1980.

[33] Gh. S. Nadiu, O clasă specială de L-endometrici probabiliste, Lucrări Științifice, Oradea, seria A, 1980.

[34] Gh. S. Nadiu, Gh. Niculae, Funcții parțiale injective și filtre de compunere, Lucrări Științifice, Oradea, seria A, 1980.

[35] Gh. S. Nadiu, Notă asupra relațiilor de secvență, Lucrări Științifice, Oradea, seria A, 1979.

[36] Gh. S. Nadiu, Gh. Niculae, Asupra categoriei-algebrelor, Lucrări Științifice, Oradea, seria A, 1981- 1982.

[37] Gh. S. Nadiu, Notă asupra filtrelor într-o algebră Łukasievich 0-valentă, Lucrări Șt., Oradea, seria A, 1981-1982.

[38] Gh. S. Nadiu, Contribuții la teoria relațiilor (III). Interpretări sintactice, Lucrări Șt., Oradea, seria A, 1981-1982.

[39] Gh. S. Nadiu, Dinamica deciziilor, Rezumat vol. Celui de al IV-lea Simpozion național de cibernetică, 1986.

[40] Gh. S. Nadiu, Asupra noțiunii de topologie, Simpozion național de topologie, Cluj Napoca, 1986.

[41] Gh. S. Nadiu, Produse fibrate în categoria automatelor, Comunicare la Conferința națională de algebră, Timișoara, 1986.

[42] Nadiu, Gh. S., On topologies and overtopologies (English), Prepr., "Babes-Bolyai" Univ., Fac. Math. Phys., Res. Semin. 1988, No.2, pp. 121-126 (1988).

[43] Gh. S. Nadiu, Loriana Popa, Asupra teoriei omotopiei, Analele Univ. Oradea, III, pp. 12 - 19, 1993.

[44] Gh. S. Nadiu, Notă asupra spațiilor liniar normate, Analele Univ. Oradea, I, pp. 91 - 94, 1991.

[45] Gh. S. Nadiu, Considerații algebrice relații la cat. sp. metrice., Analele Univ. Oradea, II, pp. 99 - 106, 1992.

[46] Gh. S. Nadiu, Dinamici. Aspecte categoriale, Analele Univ. Oradea, III, pp. 1 - 12, 1993.

[47] Gh. S. Nadiu, Considerații asupra categoriilor carteziene, Lucrărrile CAIM 1996, pp. 201 - 207.

[48] A. Georgescu, C.L. Bichir, G.V. Cîrlig, Matematicieni români de pretutindeni, ED. The Flower Power, pp. 135, 2004.

[49] G. Georgescu, A. Iorgulescu, S. Rudeanu, Grigore C. Moisil (1906 - 1973) and his School in Algebraic Logic, Int. J. of Computers, Communications and Control, IJCCC Vol. I (2006), No.1, 81-89.
Published
2006-07-01
How to Cite
DZIȚAC, Ioan; ANDREI, Loriana. 65 Years from Birth of Prof. Gheorghe S. Nadiu (1941-1998). INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, [S.l.], v. 1, n. 3, p. 93-98, july 2006. ISSN 1841-9844. Available at: <http://univagora.ro/jour/index.php/ijccc/article/view/2298>. Date accessed: 08 july 2020. doi: https://doi.org/10.15837/ijccc.2006.3.2298.