I am a pseudo-anonymous independent researcher. My research areas include mathematics, theoretical computer science, economics and philosophy. I am writing textbooks which I call grimoires on several areas of mathematical sciences, such as the theory of computation, nonstandard mathematics, mathematical logic and social choice theory.
amanetsukishiro Goto Github PK
Type: User
Location: Internet