Zobrazeno 1 - 10
of 114
pro vyhledávání: '"Reinhard Kahle"'
Autor:
Reinhard Kahle
Publikováno v:
Philosophia Scientiæ, Vol 25, Iss 1, Pp 69-93 (2021)
Dans cet article nous entendons comprendre comment l’arithmétique de Peano a atteint la place qu’elle occupe aujourd’hui en mathématiques. Nous comparons tout d’abord les approches de Peano et de Dedekind, avant de mettre en avant le rôle
Externí odkaz:
https://doaj.org/article/bf433928c73b4a279c34751ee80be82d
Autor:
Reinhard Kahle, Isabel Oitavem
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 47, Iss Proc. CL&C 2010, Pp 44-56 (2011)
In this paper we introduce an applicative theory which characterizes the polynomial hierarchy of time.
Externí odkaz:
https://doaj.org/article/ced0fa90de164e64a8c6c99436ca98a8
Publikováno v:
Archive for Mathematical Logic. 61:1129-1144
Publikováno v:
Journal of Logic and Computation.
In this paper, we study the metamathematics of consistent arithmetical theories $T$ (containing $\textsf {I}\varSigma _{1}$); we investigate numerical properties based on proof predicates that depend on numerations of the axioms. Numeral Completeness
Autor:
Reinhard Kahle, Paulo Guilherme Santos
Publikováno v:
Logica Universalis. 15:477-516
We study the decidability of k-provability in $$\hbox {PA}$$ PA —the relation ‘being provable in $$\hbox {PA}$$ PA with at most k steps’—and the decidability of the proof-skeleton problem—the problem of deciding if a given formula has a pro
Autor:
Reinhard Kahle
Publikováno v:
Scheitern in den Wissenschaften ISBN: 9783969752487
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::42d46efa9db55e322a4988245a6798ee
https://doi.org/10.30965/9783969752487_006
https://doi.org/10.30965/9783969752487_006
Autor:
Reinhard Kahle
Publikováno v:
Philosophia Mathematica. 28:421-425
Autor:
Klaus Mainzer, Reinhard Kahle
Publikováno v:
Grenzen der KI – theoretisch, praktisch, ethisch ISBN: 9783662650103
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2d13a79f9ec6819ceefc8ad3b5de3df0
https://doi.org/10.1007/978-3-662-65011-0_3
https://doi.org/10.1007/978-3-662-65011-0_3
Autor:
Klaus Mainzer, Reinhard Kahle
Publikováno v:
Technik im Fokus ISBN: 9783662650103
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4f9ba5f4cc46d3849a5b289fa4ea9a76
https://doi.org/10.1007/978-3-662-65011-0
https://doi.org/10.1007/978-3-662-65011-0
Autor:
Klaus Mainzer, Reinhard Kahle
Publikováno v:
Grenzen der KI – theoretisch, praktisch, ethisch ISBN: 9783662650103
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0ccbc21c9f52ce25294d4953866c622b
https://doi.org/10.1007/978-3-662-65011-0_1
https://doi.org/10.1007/978-3-662-65011-0_1