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 reference-request
Search options not deleted
user 50073
This tag is used if a reference is needed in a paper or textbook on a specific result.
5
votes
Virus community spread mathematical modeling
There is actually a very simple model that works reasonably well over time periods with little change. No model can work across all time periods because various communities (or cities) change their be …
2
votes
Is there a three valued logic whose game semantics corresponds to potentially infinite games?
Why doesn't Kleene's 3-valued logic (with quantifiers) correspond to such games? It already does! A $∀x\ ( Q(x) )$ node goes to an $∃x\ ( ¬Q(x) )$ opponent node, and an $∃x\ ( Q(x) )$ node goes to one …
- 2,912
1
vote
Three squares in a rectangle
Partial solution
Let the rectangle R have the longer side horizontal. It is easy to prove that you can label the squares A,B,C such that A can be shifted (i.e. translated) all the way to the left with …
- 2,912
3
votes
Book recommendation introduction to model theory
Rautenberg's "A Concise Introduction to Mathematical Logic" is my recommended introduction to a proper study of logic, including all the basics as well as a little bit of proof theory and model theory …
- 2,912
9
votes
1
answer
387
views
$π(x+y) - π(x) ≤ c·y/\ln(y)$ for some constant $c$?
(I posted this question on Math SE but it has had no answer for a year now so I would like to ask if anyone here can provide one.)
Thinking about the prime number theorem, I wondered whether it is kno …
- 2,912
8
votes
4
answers
769
views
Self-contained formalization of random variables?
I have not been able to find any formalization of random variables that supports construction of new random variables dependent on previously constructed ones. In what I have found, a random variable …
- 2,912
4
votes
1
answer
364
views
Does ACA prove categoricity of the reals?
$\def\f#1{\text{#1}}$Does $\f{ACA}$ prove that any two internally complete ordered fields are isomorphic?
Here internal completeness is expressed roughly as "every sequence of reals with an upper boun …
- 2,912
12
votes
Revisiting the unreasonable effectiveness of mathematics
I'm not sure why it has not yet been pointed out that all known applications of mathematics to explain or predict phenomena in the real world only rely on a very weak part of mathematics. For example, …