Skip to main content
MathOverflow
James Smith's user avatar
James Smith's user avatar
James Smith's user avatar
James Smith
  • Member for 13 years, 11 months
  • Last seen more than 5 years ago
Profile Activity
Stats
505
reputation
1k
reached
2
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.
2
silver badges
4
bronze badges
Top tags
6
Score
3
Posts
75
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
answer
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?
Jun 27, 2016
answer
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?
Jun 28, 2016
question
2
Is it possible to keep deleted questions in my account?
Sep 19, 2017
question
2
How about a way to flag a question for migration to another site without down voting it
Mar 8, 2018
Top network posts
View all network posts
37
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
6
Why is 'remotes/origin/HEAD' sometimes mapped to 'origin/master' and sometimes not?