Grigore Moisil
B' e matamataigear agus riochdaire dioplòmasach à Romàinia a bh' ann an Grigore Constantin Moisil (IPA: ˈɡriˈɡore mo.iˈsil, Tulcea, 10 am Faoilleach 1906 - Ottawa, 21 an Cèitean 1973).[1] Bhuinneadh e do theaghlach bùirdeasach innleachdail: bha athair na ollamh, bha a màthair na neach-teagaisg agus bha a shinn-seanair na shargart, a stèidhich a' chiad sgoil Romàinianach ann an Năsăud. Fhuair Moisil a chuid foghlaim aig Universitatea Politehnica din București agus Oilthigh Bhucharest eadar 1924 agus 1929. B' e La mécanique analytique des systemes continus an teusas a sgrìobh e airson a dhotaireachd. Chaidh e dhan Fhraing ann an 1930, far a sgrìobh e pàipear air an robh On a class of systems of equations with partial derivatives from mathematical physics fhad's a bha e aig Oilthigh Pharis. An dèidh bhliadhna san Ròimh, ann an 1931, fhuair obair na thìdsear matamataig aig Oilthigh Iași. Ann an 1941 chaidh fhastadh mar ollamh aig Oilthigh Bhucharest. A bharrachd air dà bhliadhna na thosgaire ann an Ankara (1946 - 1948), chuir e seachad an còrr dhen bheatha aige ag obair aig Oilthigh Bhucharest. Chaochail e gu h-obann ann an Ottawa ann an 1973 agus e a' dèanamh turas-òraid thall sa Chanada. B' ann air loidig mhatamataigeach (ailgeabra Łukasiewicz–Moisil), loidig ailgeabrach, ailgeabra MV agus co-aontaran diofarail a dhèanadh e fòcas.[2]
Obair
[deasaich | deasaich an tùs]- 1929: La mecanique analytique des systemes continus
- 1931: Sur une classe de systemes d'equations aux derivees partielles
- 1935: L'algebre de la logique
- 1942: Logique modale
- 1954: Introducere în algebră. Inele și ideale
- 1957: Scheme cu comandă directă cu contacte și reale
- 1959: Teoria algebrică a mecanismelor automate
- 1960: Funcționarea în mai mulți timpi a schemelor cu relee ideale
- 1961-1962: Circuite cu tranzistori
- 1964: Algebraicka teorie automatu
- 1965: Funcționarea reală a schemelor cu contacte și relee
- 1965: Încercări vechi și noi în logica neclasică
- 1966: Cursurile pentru inginerie de la Yablonna
- 1967: Theorie structurelle des automates finis'
- 1968: Elemente de logică matematică și teoria mulțimilor
- 1970: Îndoieli și certitudini
- 1972: Essais sur les logiques non-chrysipiennes