搜索结果: 1-14 共查到“Incompleteness”相关记录14条 . 查询时间(0.071 秒)
On the Inherent Incompleteness of Scientific Theories
A scientific theory Observations of the evidence
2015/7/31
We examine the question of whether scientific theories can ever be complete. For two closely related reasons, we will argue that they cannot. The first reason is the inability to determine what are “v...
Incompleteness and the Romance with Science
Philosophy of science completeness incompleteness ontology history of science,philosophy,cognition
2015/7/29
It is argued that qualities of complete/incomplete science theory do not relate to the fertility or diversity or validity of science theory, but correspond with social, behavioral, moral values, and t...
Lecture Notes in Computer Science: Incompleteness, uncertainty and autonomy: Intelligent systems
Incompleteness uncertainty autonomy
2014/8/8
We are producing an innovative theory to make a group of autonomous
systems as intelligent as possible to serve as surrogate human decision makers in a
hybrid group of humans and machines for a va...
Stochastic incompleteness for graphs and weak Omori-Yau maximum principle
Dirichlet forms, graphs stochastic completeness
2010/12/6
We prove an analogue of the weak Omori-Yaumaximum principle and Khas’minskii’s criterion for graphs in the general setting of Keller and Lenz. Our approach naturally gives the stability of stochastic ...
The Surprise Examination Paradox and the Second Incompleteness Theorem
The Surprise Examination Paradox Incompleteness Theorem
2010/11/24
We give a new proof for Godel's second incompleteness theorem, based on Kolmogorov complexity, Chaitin's incompleteness theorem, and an argument that resembles the surprise examination paradox. We the...
Grammaticalization of Syntactic Incompleteness：Free Conditionals in Italian and Other Languages
Grammaticalization Syntactic Incompleteness
2009/5/27
Grammaticalization of Syntactic Incompleteness：Free Conditionals in Italian and Other Languages。
A Synchronous Model for Multi-Party Computation and the Incompleteness of Oblivious Transfer
Synchronous Model Multi-Party Computation Oblivious Transfer
2009/3/20
This work develops a composable notion of security in a synchronous communication network
to analyze cryptographic primitives and protocols in a reliable network with guaranteed delivery.
In such a ...
On the Inherent Incompleteness of Scientific Theories
Scientific Theories Inherent Incompleteness
2008/4/22
We examine the question of whether scientific theories can ever be complete. For two closely related reasons, we will argue that they cannot. The first reason is the inability to determine what are "v...
The incompleteness of extensional object languages of physics and time reversal. Part 2.
logic of physics intensional semantics for physics
2008/4/21
This continues from Part 1. It is shown how an intensional interpretation of physics object languages can be formalised, and how a syntactic compositional time reversal operator can subsequently be de...
Observational Indistinguishability and Geodesic Incompleteness
Geodesic Incompleteness Observational Indistinguishability
2008/4/15
It has been suggested by Clark Glymour that the spatio-temporal structure of the universe might be underdetermined by all observational data that could ever, theoretically, be gathered. It is possible...
In September 1930 in Königsberg, on the third
day of a symposium devoted to the foundations
of mathematics, the young Kurt Gödel
launched his bombshell announcing his incompleteness
theo...
Carnap, Popper, Gödel: can Unity be Refuted by Incompleteness?
Gö del Popper Carnap Unity of Science
2008/3/31
In this paper all the “acting” philosophers play their classical role: Gödel is present with his incompleteness theorems. Carnap is present with the positivist view of unity of science, and speci...
Carnap, Popper, Godel: can Unity be Refuted by Incompleteness?
Godel Popper Carnap Unity of Science
2011/9/7
In this paper all the 揳cting?philosophers play their classical role: G鰀el is present with his incompleteness theorems. Carnap is present with the positivist view of unity of science, and specifically ...
Carnap, Popper, G鰀el: can Unity be Refuted by Incompleteness
G鰀el, Popper, Carnap, Unity of Science
2011/9/7
In this paper all the 揳cting?philosophers play their classical role: G鰀el is present with his incompleteness theorems. Carnap is present with the positivist view of unity of science, and specifically ...