Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
first-order and higher-order logic, model theory, set theory, proof theory, computability theory, formal languages, definability, interplay of syntax and semantics, constructive logic, intuitionism, philosophical logic, modal logic, completeness, Gödel incompleteness, decidability, undecidability, theories of truth, truth revision, consistency.
0
votes
Has anyone thought about creating a formal proof wiki with verifier?
Not quite on the nail but well worth a mention is Thousands of Problems for Theorem Provers.
1
vote
Has anyone thought about creating a formal proof wiki with verifier?
What I'm thinking of is a website where anyone can contribute formal proofs of theorems.
I'm currently working on openmathematics.org although nothing is live yet. It will allow projects develop …
2
votes
What is Realistic Mathematics?
Update: Having read below a second time, I think you should change your usage from 'realistic mathematics' to 'empirical mathematics'. I think this is much more apt, plus it has the advantage that …
2
votes
In what respect are univalent foundations "better" than set theory?
Let me try to answer the question in an oblique way. I should apologise in advance for the poor quality scan below. I have been thinking about the distinction it illustrates quite a bit lately and thi …
4
votes
Is there research on human-oriented theorem proving?
Not exactly what you're looking for, perhaps, but recently Larry Paulson kicked off the Alexandra project:
http://www.cl.cam.ac.uk/~lp15/Grants/Alexandria/
There is some mention of both AI and machi …
1
vote
Excellent uses of induction and recursion
I came across this one browsing old questions under the logic tag.
Here's proof of the Principle of Induction:
https://openmathematics.org/#induction
The GitHub repository URL is available in the …