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.
ArbetstitelConcerning the weakest coherent formalization of methodologi
Standardpris449.00
Illustrerad Orginaltitel
Åldersgrupp
BandtypHäftad
Recensionsutdrag
Läsordning i serie
MediatypBok
AvailableToOrder IsContractProduct Inlaga
Sidor8
Publiceringsdatum2022-04-22 00:00:00
FörfattareLoke Hagberg
erpOwnsPrice Kort Beskrivning
Storlek
Färg
IsBokinfoProduct SeriesTitle
BokinfoStatusCode22