34

Answers
votes newest views recent
5
A terminal coalgebra of a certain functor on Mes
4
Incidences of rigorous proofs used in legal proceedings
1
A “simple” explanation of the concept of D-separation in a Bayesian Network?
10
Essential reads in the philosophy of mathematics and set theory
3
Formalizing “no junk, no confusion”
4
Failures that lead eventually to new mathematics
2
Applications of PDE in mathematical subjects other than geometry & topology
11
The concept of Duality
8
Logic in mathematics and philosophy
3
Problems where we can’t make a canonical choice, solved by looking at all choices at once
7
Reference request: 2-Grothendieck Construction
5
How do you decide whether a question in abstract algebra is worth studying?
18
Direct proof of irrationality?
3
Arithmetic fixed point theorem
4
The ring of integers looks like the 3-dimensional sphere viewed as the Hopf fibration
1
What are other theories of causality besides graphical models and Bayesian networks?
2
A question about Chapter 12 (Vapnik-Chervonenkis Theory) of ‘A Probabilistic Theory of Pattern Recognition’
6
What are some examples of interesting uses of the theory of combinatorial species?
2
Relation between Hecke Operator and Hecke Algebra
5
Ubiquity of the push-pull formula
7
What is “rich structure”, actually?
2
Analogies between analogies
3
Is there a relationship between model theory and category theory?
3
What is the “right” universal property of the completion of a metric space?
4
categorification of logic
3
Tropical mathematics and enriched category theory
3
What is a monoidal metric space?
10
ADE type Dynkin diagrams
4
Can infinity shorten proofs a lot?
3
$\omega$-topos theory?
1 2 next