MathOverflow
James Smith
  • Member for 11 years, 3 months
  • Last seen more than 2 years ago
Profile Activity
Stats
505
reputation
14k
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
Votes Newest
9
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
3
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
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
20
systemd is hanging when I start or restart a service
9
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.