Zobrazeno 1 - 10
of 15 913
pro vyhledávání: '"Entscheidungsproblem"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
J.Acad.(N.Y.)4,2:52-87 May 16 2014
The historic background of algorithmic processing with regard to etymology and methodology is translated into terms of mathematical logic and Computer Science. A formal logic structure is introduced by exemplaryquestions posed to Fiqh-chapters to def
Externí odkaz:
http://arxiv.org/abs/1604.00266
Autor:
Dilger, Alexander
Publikováno v:
Die Unternehmung, 2008 Jan 01. 62(4), 399-414.
Externí odkaz:
https://www.jstor.org/stable/24186383
Autor:
Anand, Bhupinder Singh
If we apply an extension of the Deduction meta-Theorem to Goedel's meta-reasoning of "undecidability", we can conclude that Goedel's formal system of Arithmetic is not omega-consistent. If we then take the standard interpretation "(Ax)(F(x)" of the P
Externí odkaz:
http://arxiv.org/abs/math/0206302
Autor:
Sturm, Roland
Publikováno v:
Politische Vierteljahresschrift, 2005 Jun 01. 46(2), 195-203.
Externí odkaz:
https://www.jstor.org/stable/24199969