tag:blogger.com,1999:blog-124350264510724511.post257616128517847484..comments2024-01-15T16:21:42.238+02:00Comments on Unitary Flow: Is your mind just a computation?Cristi Stoicahttp://www.blogger.com/profile/00577217435388643300noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-124350264510724511.post-57514490086926278172024-01-15T16:21:42.238+02:002024-01-15T16:21:42.238+02:00Thanks!
Yes, a consistent model is enough (and ne...Thanks!<br /><br />Yes, a consistent model is enough (and necessary) to show the consistency of the axioms. And indeed, a model is made of sets and relations, so set theory needs to be consistent. I'd take it a step further: even if an infinite-length proof can show an inconsistency, the theory can't be true. But just like I have to trust my senses and my mind, at least enough to be able to make any move or have any thought, I also trust set theory, at least enough to be able to make any proof :) Cristi Stoicahttps://www.blogger.com/profile/00577217435388643300noreply@blogger.comtag:blogger.com,1999:blog-124350264510724511.post-70072662001620558602024-01-15T15:55:54.128+02:002024-01-15T15:55:54.128+02:00Nice argument. I think you are talking about Searl...Nice argument. I think you are talking about Searle’s syntactic/semantic gap, adding new probabilistic angle to it.<br />Namely, the mind cannot just consist of blind syntactic processes, for it would infinitesimally likely that it corresponds to coherent semantics.<br /><br />I can make a connection with my background, that is mathematics, this actually makes a lot of sense:<br />In math, if one starts building up theories by syntactic/computational means (i.e. axioms and proof), there is very seldom guarantee that that theory is consistent. Only if we can fathom the structures that give rise to certain theory, that we believe the theory is consistent.<br />(In fact mathematicians today are not sure whether someday someone may derives contradiction from for example ZFC set theory axioms, because to argue about the structures of set theory one necessarily need to use set theory.)Anonymousnoreply@blogger.com