65 Years from Birth of Prof. Gheorghe S. Nadiu (1941-1998)
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
P. Brădeanu, Gh. S. Nadiu, Asupra unui regim optim de mișcare a rachetelor balistice, An. Univ. din Timișoara, vol. III, 1965.
Gh. S. Nadiu, Asupra unei teoreme de recursie a algoritmilor normali, Studii și cercetări matematice (Mathematical Reports), Tom. 18, 1966/7, pp. 1071.
Gh. S. Nadiu, On a method for the construction of three-valued Åukasiewicz algebras (Romanian), Studii Cerc. Mat., 19, 1967, 1063-1070.
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.
Gh. S. Nadiu, The interpolation theorem in strict positive logic, Bull. Math. Soc. Sci. Math. Roum., Tom. 13, 1968/2.
Gh. S. Nadiu, O mașină Turing universală pentru clasa algoritmilor normali, Studii și cercetări matematice, Tom. 21, 1969/1.
Gh. S. Nadiu, Sur la logique de Heyting, in "Logique-Informatique-Automatique", Ed. of Romanian Academy, București, 1971.
L. Henkin, J.D. Monk, A. Tarski, Cylindric Algebras, North-Holland, Amsterdam 1971.
Gh. S. Nadiu, Sur la logique de Heyting, Abstract of IV Congress of logic, Bucharest, 1971.
Gh. S. Nadiu, Elementary logic and models, Bull. Math. d Soc. Sci. Math. Roum., Tom. 15, 1971/1.
Gh. S. Nadiu, Cercetări asupra logicilor necryssipiene/Research about Necryssipiene Logics, 1972 (PhD Thesis, supervisor Grigore C. Moisil).
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
Gh. S. Nadiu, An abstract calculi of superior order, Proc. of IV Congress of logic London-Ontario, Canada, 1975.
Gh. S. Nadiu, O teoremă de exponențiere în categorii cateziene, Lucr. Șt., Institul Ped. Oradea, 1977.
Gh. S. Nadiu, Asupra buclelor Moufang formele comutative/Note sur les boucles Moufang formelles commutatives (Romanian), Stud. Cercet. Mat. 32, pp. 193-207, 1980.
Gh. S. Nadiu, Notă asupra spațiilor metrice constructive, Studii și cercetări matematice, 1980.
Gh. S. Nadiu, Non-Clasical Logic of Superior Order, Resegna internationale di logica, Bologna, Bull.Math., 1981.
Gh. S. Nadiu, Considerations sur les categories cartesienes fermes, bull. math.
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.
Gh. S. Nadiu, Category of correspondence and extensions, Jounal of pure and appl. Algebra.
Gh. S. Nadiu, On Boolean formal algebras, Bull. Math. d Soc. Sci. Math. Roum., 1978.
Gh. S. Nadiu, Prefascicule peste latici Skolem (I), Lucrări Șt. ale Inst. de înv. sup. Oradea, 1978, ser. A, pp. 37-63.
Gh. S. Nadiu, Asupra laticilor Skolem, Lucrări Șt. ale Inst. de înv. sup. Oradea, pp. 65-69, 1978.
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.
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.
Gh. S. Nadiu, T Pop, Automate-tehnologii și decizii, în vol. "Cibernetică aplicată", București, Ed. Acad. R.S.R., 1983.
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.
Gh. S. Nadiu, Prefascicule peste latici Skolem (II), Lucrăi Șt. ale Inst. de înv. sup. Oradea, seria A, 1978.
Gh. S. Nadiu, Asupra logicii modale generale a lui Moisil, Lucrări Șt. ale Inst. de înv. sup. Oradea, seria A, 1978.
Gh. S. Nadiu, Asupra ordonărilor Rudin-Kreisler în clasa ultrafiltrelor, Lucrări Șt. ale Inst. de înv. sup. Oradea, seria A, 1978.
Gh. S. Nadiu, Contribuții la teoria relațiilor (I), Lucrări Șt. ale Inst. de înv. sup. Oradea, seria A, 1980.
Gh. S. Nadiu, Contribu ctii la teoria relațiilor (II). Corespondențe via toposuri., Lucrări Științifice, Oradea, seria A, 1980.
Gh. S. Nadiu, O clasă specială de L-endometrici probabiliste, Lucrări Științifice, Oradea, seria A, 1980.
Gh. S. Nadiu, Gh. Niculae, Funcții parțiale injective și filtre de compunere, Lucrări Științifice, Oradea, seria A, 1980.
Gh. S. Nadiu, Notă asupra relațiilor de secvență, Lucrări Științifice, Oradea, seria A, 1979.
Gh. S. Nadiu, Gh. Niculae, Asupra categoriei-algebrelor, Lucrări Științifice, Oradea, seria A, 1981- 1982.
Gh. S. Nadiu, Notă asupra filtrelor într-o algebră Åukasievich 0-valentă, Lucrări Șt., Oradea, seria A, 1981-1982.
Gh. S. Nadiu, Contribuții la teoria relațiilor (III). Interpretări sintactice, Lucrări Șt., Oradea, seria A, 1981-1982.
Gh. S. Nadiu, Dinamica deciziilor, Rezumat vol. Celui de al IV-lea Simpozion național de cibernetică, 1986.
Gh. S. Nadiu, Asupra noțiunii de topologie, Simpozion național de topologie, Cluj Napoca, 1986.
Gh. S. Nadiu, Produse fibrate în categoria automatelor, Comunicare la Conferința națională de algebră, Timișoara, 1986.
Nadiu, Gh. S., On topologies and overtopologies (English), Prepr., "Babes-Bolyai" Univ., Fac. Math. Phys., Res. Semin. 1988, No.2, pp. 121-126 (1988).
Gh. S. Nadiu, Loriana Popa, Asupra teoriei omotopiei, Analele Univ. Oradea, III, pp. 12 - 19, 1993.
Gh. S. Nadiu, Notă asupra spațiilor liniar normate, Analele Univ. Oradea, I, pp. 91 - 94, 1991.
Gh. S. Nadiu, Considerații algebrice relații la cat. sp. metrice., Analele Univ. Oradea, II, pp. 99 - 106, 1992.
Gh. S. Nadiu, Dinamici. Aspecte categoriale, Analele Univ. Oradea, III, pp. 1 - 12, 1993.
Gh. S. Nadiu, Considerații asupra categoriilor carteziene, Lucrărrile CAIM 1996, pp. 201 - 207.
A. Georgescu, C.L. Bichir, G.V. Cîrlig, Matematicieni români de pretutindeni, ED. The Flower Power, pp. 135, 2004.
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
Issue
Section
License
ONLINE OPEN ACCES: Acces to full text of each article and each issue are allowed for free in respect of Attribution-NonCommercial 4.0 International (CC BY-NC 4.0.
You are free to:
-Share: copy and redistribute the material in any medium or format;
-Adapt: remix, transform, and build upon the material.
The licensor cannot revoke these freedoms as long as you follow the license terms.
DISCLAIMER: The author(s) of each article appearing in International Journal of Computers Communications & Control is/are solely responsible for the content thereof; the publication of an article shall not constitute or be deemed to constitute any representation by the Editors or Agora University Press that the data presented therein are original, correct or sufficient to support the conclusions reached or that the experiment design or methodology is adequate.
