Results 111 to 120 of about 16,198 (182)

Kurt Gödel Maxims and Philosophical Remarks, vol.IX

, 2020
International audienceWe are pleased to present here a revised second edition of the electronic edition of Kurt Gödel’s Maxims and Philosophical Remarks, commonly called Max Phil.
van Atten, Mark, Crocco, Gabriella, Rollinger, Robin, Cantu, Paola   +3 more
core  

Kripke on Gödel Incompleteness

This paper surveys six of Saul Kripke's highly creative ideas and results on Gödel incompleteness, from when he was an undergraduate to last publications.
Isaacson, Daniel
core   +1 more source

Gödel Agent: A Self-Referential Agent Framework for Recursively Self-Improvement

Annual Meeting of the Association for Computational Linguistics
Xun-Jian Yin, Xinyi Wang, Liangming Pan, Li Lin, Xiaojun Wan, W. Wang   +5 more
semanticscholar   +1 more source

Gödel metriği ve genellemesi

, 2005
In this thesis, firstly the original Gödel's metric is examined in detail. Then a more general class of Gödel-type metrics is introduced. It is shown that they are the solutions of Einstein field equations with a physically acceptable matter distribution
Özgören, Kıvanç
core  

Kurta Gödla dowód na istnienie Boga

Zagadnienia Filozoficzne w Nauce, 2007
Recenzja książki: Kurt Gödel, La prova matematica dell’esistenza di Dio, red. Lolli, P. Odifreddi, Wyd. Bollati Boringhaieri, Torino 2006, ss. 123.
Michał Heller
doaj  

Self-Referential Introspection in Large Language Models: The Critical Threshold for Recursive Self-Improvement. [PDF]

Entropy (Basel)
Zhang J, Yuan B, Zhang Q.
europepmc   +1 more source

Correction: Kopecka et al. Insights into P-Glycoprotein Inhibitors: New Inducers of Immunogenic Cell Death. <i>Cells</i> 2020, <i>9</i>, 1033. [PDF]

Cells
Kopecka J, Godel M, Dei S, Giampietro R, Belisario DC, Akman M, Contino M, Teodori E, Riganti C.   +8 more
europepmc   +1 more source

Kurt Gödel, lector de Edmund Husserl

, 2018
Kurt Gödel, the mathematician of the completeness theorem, of the incompleteness theorems and of the consistency test of the axiom of choice and the generalized hypothesis of the continuum, was a reader of Edmund Husserl.
López López, Andrés Felipe
core  

Evolutionary multi-agent reinforcement learning for crisis-aware demographic policy optimization. [PDF]

Front Big Data
Dozhdikov AV, Sitkovskiy AM.
europepmc   +1 more source

Understanding Gödel\u27s Incompleteness Proofs

, 2017
This project investigates the proofs that Kurt Gödel published in 1931 for his incompleteness theorems. We first lay out the basic knowledge necessary to understand the incompleteness theorems and the foundations of mathematics.
Ito, Nanako
core