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 | |
Results tagged with lo.logic
Search options not deleted
user 5734
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.
3
votes
practical algorithms for np complete problems
Often heuristic approaches, and often rather complicated ones. So the programming languages used tend to be high-level (ML, Prolog) and it doesn't really matter that they are "inefficient" languages …
- 2,545
17
votes
4
answers
2k
views
Notation in Frege's Grundgesetze der Arithmetik: The U with a flourish
In the Grundgesetze der Arithmetik, Frege used a number of strange characters for notation. I would be most interested to know anything about the typography (origin, usage and so on) of the strange U …
- 2,545
41
votes
Logic in mathematics and philosophy
Perhaps this (by G.-C. Rota, in "The Pernicious Influence of Mathematics upon Philosophy") is relevant:
The fake philosophical terminology of mathematical logic has misled philosophers into believing …
- 2,545
1
vote
Essential reads in the philosophy of mathematics and set theory
For a break from the dry analyticity of most of the philosophy of mathematics, try Alain Badiou's "Number and numbers".