I don't imagine anyone here know anything about...
* Beliefs quantification and relativity
* Proving systems and conclusiveness
*The modern understanding of recurrence
Well, I'm a mathematician and have some experience with these things. What sorts of questions do you have about proof systems and recurrence?
/E: Just to check your level of knowledge, how much formal set theory have you had? Do you know how to work with ordinals? Do you know what a hereditarily finite set is?
And welcome to the forum!
Last edited: