Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 7 of 7 for “"Gödel"”.
-
Modeling Optimal Information Acquisition Time Driven by Event Importance for Decision Making: Integrating Gödel's Incompleteness, Turing's Computability, and Simon's Bounded Rationality
… εννοιών από τα Θεωρήματα Μη Πληρότητας του Gödel, τη Θεωρία Υπολογισιμότητας του Turing και την Περιορισμένη Ορθολογικότητα του Herbert Simon, η έρευνα αυτή προτείνει ένα νέο μοντέλο για την κατανόηση της δυναμικής της απόκτησης πληροφορίας σε σχέση με τη λήψη αποφάσεων που καθοδηγείται από …
-
Axiomatization and Incompleteness in Arithmetic and Set Theory
… incompleteness. Part A of the thesis discusses Gödelian incompleteness, while Part B is concerned with set-theoretic incompleteness. Both parts are concerned with the philosophical justification of reflection principles and other axiomatic devices which can be used to reduce incompleteness, and …
-
The Primitive Thesis: Defending a Davidsonian Conception of Truth
… in the work of Frege, Church, Davidson, and Gödel for resisting certain versions of the correspondence theory of truth. I argue that most slingshots fail to convincingly establish a collapsing conclusion, but that a Gödelian version of the slingshot is terminal to certain varieties of the …
-
Modal logics of provability
Gödel proved his Incompleteness theorems for any theory 'strong' enough to represent recursive functions. In the process he showed that the provability predicate can be represented in such theories. Modal logics of provability are modal logics which attempt to express the concept of 'provability' …
-
Carnap and the Ontology of Mathematics
… Carnap against objections by, among others, Kurt Gödel, W. V. Quine, and Hilary Putnam. The most powerful challenge to Carnap's view, however, can actually be found in a less well-known paper by the logician E. W. Beth. The core of my thesis is thus a new interpretation of what I call Beth's …
-
Verovatnosni računi sekvenata i klasifikacija neklasičnih logika zasnovana na entropiji
… logiku, Belnap-ovu četvorovalentnu logiku, Gödel-ove i McKay-eve m-valentne logike, i Heyting-ovu i Dummett-ovu beskonačnovalentnu logiku.
-
Invisible Mathematics in Italo Calvino's Le città invisibili
… part of the combinatorial game and the key to Gödel Incompleteness Theory, namely, the elements of surprise and the unexpected - the exceptions to the rule. Other critical approaches to Calvino's work, like semiotic, structuralism and scientific are interrelated to Mathematics, but what this …