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 5963
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
Accepted
What is the conditional probability or probablity of classes of languages?
The probability measure you're asking about is nonatomic, but your events of interest are countable. Therefore the unconditional probability of each is zero, and the conditional probabilities are und …
- 8,501
10
votes
Existence of unknowable algorithms ?
The Robertson-Seymour graph minor theorem shows that membership in any given minor-closed family of graphs can be checked in polynomial time. It even shows this can be done in $\mathcal{O}(n^3)$ time …
- 8,501
8
votes
Is there research on Machine Learning techniques to discover conjectures (theorems) in a wid...
One example that is close to, if not exactly of this type, is Veit Elser's demonstration that machine learning techniques can learn how to do fast matrix multiplication from examples of matrix product …
- 8,501