Skip to main content
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
Results tagged with
Search options not deleted user 9909

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 …
James Smith's user avatar
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 …
James Smith's user avatar
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 …