bokomslag Concerning the weakest coherent formalization of methodological skepticism as a Bayesian updater
Vetenskap & teknik

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

Loke Hagberg

Häftad

489:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 8 sidor
  • 2022
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.
  • Författare: Loke Hagberg
  • Format: Häftad
  • ISBN: 9789179691028
  • Språk: Engelska
  • Antal sidor: 8
  • Utgivningsdatum: 2022-04-22
  • Förlag: BoD