an explicit Diophantine equation whose lack of solutions is provably equivalent (in PA) to Con(ZFC)
(i'm working on making it smaller, Lean proof is not complete yet)
github.com/VladimirReshet…
(i'm working on making it smaller, Lean proof is not complete yet)
github.com/VladimirReshet…
22
31
301
@GuntherEagleman There is no afterlife, no cosmic justice, and no inherent purpose. Consciousness ends at death in an indifferent universe that will outlast every human concern.
0
0
4
Here are a triangle 𝐴𝐵𝐶 and a point 𝐷 inside it such that ∠𝐶𝐴𝐷 = 22°, ∠𝐴𝐵𝐷 = 24°, and ∠𝐵𝐶𝐷 = 28°. Find the angles ∠𝐵𝐴𝐷, ∠𝐶𝐵𝐷, and ∠𝐴𝐶𝐷 given that each of them is an integer multiple of 1° and ∠𝐵𝐴𝐷 < ∠𝐶𝐵𝐷 < ∠𝐴𝐶𝐷.
1
1
7
necessary and sufficient conditions for a triangle with sides 𝑝, 𝑞, 𝑟 to fit inside a triangle with sides 𝑎, 𝑏, 𝑐
11
20
596
Find an elementary function 𝑓(𝑥), continuous and strictly increasing on some interval [0, 𝜖], with 𝑓(0) = 0, and 𝑓′(𝑥) ∼ 2𝑓(2𝑥) for 𝑥 → 0⁺. Here is a plot of one possible solution:
0
0
1
