MathOverflow
James Smith's user avatar
James Smith's user avatar
James Smith's user avatar
James Smith
  • Member for 13 years, 1 month
  • Last seen more than 4 years ago
Profile Activity
Stats
505
reputation
15k
reached
16
answers
2
questions
Communities
View all
About

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

http://occam.science

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
13
bronze badges
Top tags
View all tags
11
Score
2
Posts
11
Posts %
9
Score
2
Posts
11
Posts %
8
Score
2
Posts
11
Posts %
7
Score
1
Posts
6
Posts %
7
Score
1
Posts
6
Posts %
6
Score
6
Posts
33
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
9
Illustrating mathematics with wysiwyg tools
Feb 28, 2018
answer
7
Wanted: a "Coq for the working mathematician"
Jul 2, 2016
question
5
Have semigroups with actions on themselves that have a dual to the compatibility axiom ever been studied?
Jun 25, 2016
answer
5
Important open exposition problems?
Sep 24, 2017
answer
4
Applications of semigroups
Sep 17, 2017
answer
4
Is there research on human-oriented theorem proving?
Nov 4, 2017
answer
3
An example of a beautiful proof that would be accessible at the high school level?
Jun 10, 2016
answer
2
In what respect are univalent foundations "better" than set theory?
Nov 24, 2017
answer
2
Term for the maximum number of vertices per depth of a rooted tree
Dec 1, 2017
answer
2
What is Realistic Mathematics?
Dec 1, 2017
Top Meta posts
2
2
3
How can I tell if my question is appropriate to MathOverflow or if I should just put a bounty on it at Math.SE?
3
How can I tell if my question is appropriate to MathOverflow or if I should just put a bounty on it at Math.SE?
Top network posts
View all network posts
33
systemd is hanging when I start or restart a service
10
How can I get symbols to appear in the middle of commutative diagrams using tikz-cd?
7
How can I get mod_rewrite to match a rule just once

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.