“Sind die Zahlformeln beweisbar?”

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

“Sind die Zahlformeln beweisbar?”

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

“Sind die Zahlformeln beweisbar?”

Popis výsledku anglicky

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.

Druh

C - Kapitola v odborné knize

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2024

Kód důvěrnosti údajů

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

Název knihy nebo sborníku

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

ISBN

978-3-031-52410-3

Počet stran výsledku

21

Strana od-do

181-201

Počet stran knihy

510

Název nakladatele

Springer

Místo vydání

Cham

Kód UT WoS kapitoly

—