✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 418.243 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Concerning the weakest coherent formalization of methodological skepticism as a Bayesian updater

Concerning the weakest coherent formalization of methodological skepticism as a Bayesian updater

von Loke Hagberg
Softcover - 9789179691028
33,70 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 5 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

The paper is about formalizing methodological skepticism as a Bayesian updater, it is shown that the weakest coherent formal system, by ordinal analysis, is equivalent in strength to the formal system containing intuitionistic logic and finitist set theory, as the formal system containing them is able to construct a linear bounded automaton that can compute discrete Bayesian inference.

Details

Verlag BoD – Books on Demand – Schweden
Ersterscheinung April 2022
Maße 29.7 cm x 21 cm x 0.2 cm
Gewicht 57 Gramm
Format Softcover
ISBN-13 9789179691028
Auflage 1. Auflage
Seiten 8

Schlagwörter

Mathematische Grundlagen, Philosophie der Mathematik