გიოდელის ღმერთიდან რობინსის ალგებრამდე / თემურ კუცია // ტაბულა. - თბილისი, 2014. - ISSN 1987-8931. - იანვარი. - N133. - გვ.30-31[MFN: 151076]

UDC:  001 + 1 + 004

ფოტოები:  კურტ გიოდელი

ანოტაცია:  კომპიუტერული ლოგიკის სპეციალისტების ქრისტოფ ბენცმიულერისა და ბრუნო ვოლცენლოგელის მიერ ღმერთის არსებობის გიოდელისეული ონტოლოგიური მტკიცებულებების ფორმალიზაცია სპეციალური კომპიუტერული პროგრამების მეშვეობით

პერსონალია:  გიოდელი კურტ (ლოგიკოსი, ფილოსოფოსი, მათემატიკოსი); ბენცმიულერი ქრისტოფ (მათემატიკოსი); ვოლცენლოგელ პალეო ბრუნო (მათემატიკოსი).

მოხსენიებული პირები:  დეკარტი რენე (ფილოსოფოს, მათემატიკოსი); ლაიბნიცი გოტფრიდ (ფილოსოფოსი, მათემატიკოსი); კანტი იმანუელ (ფილოსოფოსი); სკოტი დენა (ფილოსოფოსი, მათემატიკოსი); პაულსონი ლერი (მეცნიერი).

თემატიკა:  მეცნიერება; ფილოსოფია; კომპიუტერული სისტემები.

საკვანძო სიტყვები:  მოდალური ლოგიკა; ინდივიდის არსი; ღვთის მსგავსობა; აუცილებელი არსებობა; კომპიუტერული მეცნიერებები.