MathOverflow
Meta user
Network profile
507
reputation
4
13

James Smith

I am working on a formal, automated domain of reasoning called Occam:

http://occam.science

16
answers
2
questions
~12k
people reached
  • djalbat.com
  • Member for 9 years, 3 months
  • 232 profile views
  • Last seen Nov 30 '19 at 10:10

Communities (12)

Top Meta Posts
2
2

Top network posts

Top tags (31)

Score 11
Posts 2
Posts % 11
Score 9
Posts 2
Score 8
Posts 2
Score 7
Posts 1
Score 7
Posts 1
Score 6
Posts 6
View all tags →

Top posts (18) All Questions Answers | Votes Newest

8 Illustrating mathematics with wysiwyg tools Feb 28 '18
7 Wanted: a “Coq for the working mathematician” Jul 2 '16
5 Have semigroups with actions on themselves that have a dual to the compatibility axiom ever been studied? Jun 25 '16
5 Important open exposition problems? Sep 24 '17
4 Is there research on human-oriented theorem proving? Nov 4 '17
4 Applications of semigroups Sep 17 '17
2 An example of a beautiful proof that would be accessible at the high school level? Jun 10 '16
2 In what respect are univalent foundations “better” than set theory? Nov 24 '17
2 Term for the maximum number of vertices per depth of a rooted tree Dec 1 '17
2 What is Realistic Mathematics? Dec 1 '17
View all questions and answers →

Badges (17)

Gold

—

Silver

4

Rarest

Bronze

13

Rarest

View all badges →