Skip to main content
Mathematics
James Smith's user avatar
James Smith's user avatar
James Smith's user avatar
James Smith
  • Member for 8 years, 3 months
  • Last seen more than 4 years ago
Profile Activity
Stats
394
reputation
5k
reached
8
answers
10
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.
1
silver badge
10
bronze badges
Top tags
View all tags
2
Score
1
Posts
6
Posts %
1
Score
14
Posts
78
Posts %
1
Score
7
Posts
39
Posts %
1
Score
7
Posts
39
Posts %
-1
Score
3
Posts
17
Posts %
-1
Score
2
Posts
11
Posts %
Top posts
View all questions and answers
question
4
How is the material conditional treated in Natural Deduction?
May 6, 2018
question
3
Is double negation introduction an axiom of intuitionistic logic or can it be derived?
Jun 15, 2016
question
3
What exactly is the role of the material conditional in intuitionistic logic?
Jun 15, 2016
question
3
What kinds of variables range over proofs?
Apr 2, 2018
question
2
Is there a name for the propositional tautology (and it's associated rule) $Q\Rightarrow(P\Rightarrow Q)$?
Jun 17, 2016
question
2
Is it possible to eliminate a contradiction without recourse to the principle of explosion?
Jun 17, 2016
question
2
Have semigroups with actions on themselves that have a dual to the compatibility axiom ever been studied?
Jun 22, 2016
answer
2
Is this conclusion via rules of inference correct?
Jun 10, 2016
question
1
alternative rule for negation introduction
Jun 8, 2016
answer
1
alternative rule for negation introduction
Jun 8, 2016
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?