Zobrazeno 1 - 10
of 755
pro vyhledávání: '"Gödel's incompleteness theorems"'
Autor:
Warren, Jared, author
Publikováno v:
Shadows of Syntax : Revitalizing Logical and Mathematical Conventionalism, 2020.
Externí odkaz:
https://doi.org/10.1093/oso/9780190086152.003.0012
Autor:
Cassey Lee
Publikováno v:
Machine Learning and the City. :15-30
Emergence refers to the spontaneous formation of higher level (macro) structures or patterns incomplex systems. Attempts to formalize the notion of emergence via algorithmic complexity theoryruns into the problem that the Kolmogorov complexity functi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f92b4c2712902a679856e9d045886e16
https://doi.org/10.1002/9781119815075.ch2
https://doi.org/10.1002/9781119815075.ch2
Autor:
David Charles McCarty, Piotr Urbańczyk
Publikováno v:
Zagadnienia Filozoficzne w Nauce, Vol 60, Pp 119-137 (2016)
An interview with Charles McCarty by Piotr Urbańczyk concerning mathematical explanation.
Externí odkaz:
https://doaj.org/article/6c0765ec43f84bd287b39ca95ed32ea1
Autor:
Rishi Raj
Publikováno v:
Axiomathes. 32:149-152
The Schrodinger’s cat paradox has troubled physicists for many years and many ways to solve it has been provided so far. In this paper I will try to provide a different method of solving the Paradox with the help of logical machine and it will look
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::826e291ec44f399e635bcfacc433e410
https://doi.org/10.1007/s10516-021-09592-1
https://doi.org/10.1007/s10516-021-09592-1
Autor:
Cristian S. Calude
Publikováno v:
Studia Logica. 109:1159-1169
We present an abstract framework in which we give simple proofs for Godel’s First and Second Incompleteness Theorems and obtain, as consequences, Davis’, Chaitin’s and Kritchman-Raz’s Theorems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5dfd4eebd1fc6648dbe64037d20d0eec
https://doi.org/10.1007/s11225-021-09945-2
https://doi.org/10.1007/s11225-021-09945-2
Publikováno v:
Siberian Journal of Philosophy. 18:132-143
A response is given to the paper by A. M. Izmailova (Izmailova A. M. O kritike teoremy K. Gedelya o nepolnote A. V. Bessonovym [On A. V. Bessonov’s criticism of K. Gödel’s incompleteness theorem]. Studencheskii nauchnyi zhurnal “Grani nauki”
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::176924f1d583eb909efbb265b1ab6373
https://doi.org/10.25205/2541-7517-2020-18-3-132-143
https://doi.org/10.25205/2541-7517-2020-18-3-132-143
Autor:
Yong Cheng
Publikováno v:
The Bulletin of Symbolic Logic. 27:113-167
We give a survey of current research on G\"{o}del's incompleteness theorems from the following three aspects: classifications of different proofs of G\"{o}del's incompleteness theorems, the limit of the applicability of G\"{o}del's first incompletene
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4425ea52b5b61735f7384385d85306c6
https://doi.org/10.1017/bsl.2020.44
https://doi.org/10.1017/bsl.2020.44
Autor:
Dan E. Willard
Publikováno v:
Journal of Logic and Computation. 31:375-392
Our previous research showed that the semantic tableau deductive methodology of Fitting and Smullyan permits boundary-case exceptions to the second incompleteness theorem, if multiplication is viewed as a 3-way relation (rather than as a total functi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c23d481bda71b86db6355f497990e587
https://doi.org/10.1093/logcom/exaa083
https://doi.org/10.1093/logcom/exaa083
Autor:
Taishi Kurahashi
Publikováno v:
The Journal of Symbolic Logic. 85:1224-1253
We investigate relationships between versions of derivability conditions for provability predicates. We show several implications and non-implications between the conditions, and we discuss unprovability of consistency statements induced by derivabil
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e2cdd07d749d702db159a95c773b2ce4
https://doi.org/10.1017/jsl.2020.33
https://doi.org/10.1017/jsl.2020.33
Autor:
Omar Ossman, Tarek Sayed Ahmed
Publikováno v:
JP Journal of Algebra, Number Theory and Applications. :217-233
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::371350f62566e3a77bba9077e489020e
https://doi.org/10.17654/nt047020217
https://doi.org/10.17654/nt047020217