Concrete Mathematics. Finitistic Approach to Foundations
| Autor: | Marek Czarnecki, Marcin Mostowski |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Actual infinity
Learnability MathematicsofComputing_GENERAL 0102 computer and information sciences 01 natural sciences Computer Science::Computers and Society Epistemology Explication 010201 computation theory & mathematics Mathematics education Arithmetic function Equivalence (formal languages) Foundations of mathematics Mathematics Ontological argument |
| Zdroj: | Logic, Language, Information, and Computation ISBN: 9783662553855 WoLLIC |
| Popis: | We discuss the idea of concrete mathematics inspired by Hilbert’s idea of finitistic mathematics as the part of mathematics not engaged into actual infinity. We explicate it as the part of mathematics based on \(\varDelta ^0_2\) arithmetical concepts. The explication is justified by equivalence of \(\varDelta ^0_2\) definability with algorithmic learnability (an epistemic argument) and with FM–representability (representability in finite models, an ontological argument). |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|