tag:blogger.com,1999:blog-4987609114415205593.post576160027441249509..comments2024-03-28T13:40:26.497+00:00Comments on M-Phi: Epistemic Interpretation of Ultra-FinitismJeffrey Ketlandhttp://www.blogger.com/profile/01753975411670884721noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-4987609114415205593.post-1813583237976759682021-08-02T11:56:19.366+01:002021-08-02T11:56:19.366+01:00Belakangan ini Tips Bermain Sportsbook MotoGP sem...Belakangan ini Tips Bermain Sportsbook MotoGP semakin makin populer banyak di cari oleh pecinta sportsbook online uang asli. <a href="https://login-nova88.com/" rel="nofollow">https://login-nova88.com/</a> Bahkan di berbagai kota yang ada di Indonesia selalu membuat berbagai acara untuk nonton bareng di ajang kompetisi balapan motor tersebut.R1se Hluoluohttps://www.blogger.com/profile/12853204727468657416noreply@blogger.comtag:blogger.com,1999:blog-4987609114415205593.post-32974699413836486032013-07-10T19:31:08.581+01:002013-07-10T19:31:08.581+01:00There's another finitism via a theorem of Myci...There's another finitism via a theorem of Mycielski:<br /><br />"If φ is a sentence in the language of T and φ' is a regular relativization of φ, then φ is a theorem of T if and only if φ' is a theorem of Fin(T)."<br /><br />books.google.com/books?id=GvGqRYifGpMC&pg=PA273<br /><br />There is no new math, just a finitistic math isomorphic (the proofs are one-to-one) to "standard" math.<br /><br />The philosophical name is Intentionalism:<br /><br />'Platonism is unsatisfactory because it violates our instinctive drive to obey Ockham's principle of parsimony.<br /><br />Intentionalism says that pure mathematics is a description of finite structures consisting of finitely many imagined objects.<br /><br />The term intentionalism is chosen for its contrast with extensionalism which accepts actually infinite sets and leads naturally to Platonism."<br /><br />poesophicalbits.blogspot.com/2013/04/intentionalism.htmlPhilip Thrifthttps://www.blogger.com/profile/03021615111948806998noreply@blogger.com