I'm an ultrafinitist interested in classical analogs to QFT and intentional formal systems in proof theory that help solve the halting problem by reflection principles.
Top Questions
No questions with score of 5 or more
Top Answers
No answers with score of 5 or more