“Sind die Zahlformeln beweisbar?”

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F24%3A00599221" target="_blank" >RIV/67985955:_____/24:00599221 - isvavai.cz</a>

Result on the web

<a href="https://doi.org/10.1007/978-3-031-52411-0_10" target="_blank" >https://doi.org/10.1007/978-3-031-52411-0_10</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-031-52411-0_10" target="_blank" >10.1007/978-3-031-52411-0_10</a>

Result language

angličtina

Original language name

“Sind die Zahlformeln beweisbar?”

Original language description

By a numerical formula, we shall understand an equation, m=n, between closed numerical terms, m and n Assuming with Frege that numerical formulae, when true, are demonstrable, the main question to be considered here is what form such a demonstration takes. On our way to answering the question, we are led to more general questions regarding the proper formalization of arithmetic. In particular, we shall deal with calculation, definition, identity, and inference by induction.

Czech name

—

Czech description

—

Type

C - Chapter in a specialist book

CEP classification

—

OECD FORD branch

60301 - Philosophy, History and Philosophy of science and technology

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2024

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Book/collection name

The Architecture and Archaeology of Modern Logic. Studies Dedicated to Göran Sundholm

ISBN

978-3-031-52410-3

Number of pages of the result

21

Pages from-to

181-201

Number of pages of the book

510

Publisher name

Springer

Place of publication

Cham

UT code for WoS chapter

—