Stack Exchange
sign up | log in | chat | meta | about | faq

Mathematics
  • Questions
  • Tags
  • Tour
  • Users
  • Ask Question

user833970

less info
meta site favicon meta user | stack exchange network profile network profile
105 reputation
7
bio website
location
age
visits member for 60 days
seen May 10 at 13:43
stats profile views 3

105 reputation
bio website visits member for 60 days
7 badges
location seen May 10 at 13:43
summary answers questions tags badges favorites bounties reputation activity

5 Questions

votes activity newest
4
Peano axioms expressed in type theory
1
Variables in Types in type theory
1
Example of a logic where a proof by contradiction does not imply a direct proof.
1
in type theory does (x:A) imply ((x:A):A)
1
mapping simple first oreder problems to type theory

105 Reputation

+5 Variables in Types in type theory
+5 Example of a logic where a proof by contradiction does not imply a direct proof.
+5 in type theory does (x:A) imply ((x:A):A)
+5 Peano axioms expressed in type theory
view more

1 Answer

votes activity newest
1
How to start with automated theorem proving?

9 Tags

1
logic × 3
0
first-order-logic
1
computer-science
0
notation
1
soft-question
0
nonclassical-logic
1
automated-theorem-proving
0
peano-axioms
0
type-theory × 4

4 Accounts

Stack Overflow Stack Overflow 426 rep 212
Musical Practice & Performance Stack Exchange Musical Practice & Performance 126 rep 1
Server Fault Server Fault 113 rep 3
Mathematics Stack Exchange Mathematics 105 rep 7

7 Badges

recent class name
 Commentator  Student
 Scholar  Promoter
 Benefactor  Supporter
 Teacher

0 Active bounties

active offered earned
This user has no active bounties

2 Votes Cast

all time   by type  
2 up 1 question
0 down 1 answer
user feed
about faq badges blog chat data legal privacy policy jobs advertising info mobile contact us feedback
Technology Life / Arts Culture / Recreation Science Other
  1. Stack Overflow
  2. Server Fault
  3. Super User
  4. Web Applications
  5. Ask Ubuntu
  6. Webmasters
  7. Game Development
  8. TeX - LaTeX
  1. Programmers
  2. Unix & Linux
  3. Ask Different (Apple)
  4. WordPress Answers
  5. Geographic Information Systems
  6. Electrical Engineering
  7. Android Enthusiasts
  8. IT Security
  1. Database Administrators
  2. Drupal Answers
  3. SharePoint
  4. User Experience
  5. Mathematica
  6. more (14)
  1. Photography
  2. Science Fiction & Fantasy
  3. Seasoned Advice (cooking)
  4. Home Improvement
  5. more (13)
  1. English Language & Usage
  2. Skeptics
  3. Mi Yodeya (Judaism)
  4. Travel
  5. Arqade (gaming)
  6. Bicycles
  7. Role-playing Games
  8. more (22)
  1. Mathematics
  2. Cross Validated (stats)
  3. Theoretical Computer Science
  4. Physics
  5. more (7)
  1. Stack Apps
  2. Meta Stack Overflow
  3. Area 51
  4. Stack Overflow Careers
site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required
rev 2013.5.17.690