First-order logic Updated 2025-07-16
Builds on top of propositional logic, adding notably existential quantification.
Biography Updated 2025-07-16
Fable Updated 2025-07-16
Fantasy Updated 2025-07-16
Nonfiction Updated 2025-07-16
Science fiction Updated 2025-07-16
Hilbert's problems Updated 2025-07-16
Millennium Prize Problems Updated 2025-07-16
Ciro Santilli would like to fully understand the statements and motivations of each the problems!
Easy to understand the motivation:
- Navier-Stokes existence and smoothness is basically the only problem that is really easy to understand the statement and motivation :-)
- p versus NP problem
Hard to understand the motivation!
- Riemann hypothesis: a bunch of results on prime numbers, and therefore possible applications to cryptographyOf course, everything of interest has already been proved conditionally on it, and the likely "true" result will in itself not have any immediate applications.As is often the case, the only usefulness would be possible new ideas from the proof technique, and people being more willing to prove stuff based on it without the risk of the hypothesis being false.
- Yang-Mills existence and mass gap: this one has to do with finding/proving the existence of a more decent formalization of quantum field theory that does not resort to tricks like perturbation theory and effective field theory with a random cutoff valueThis is important because the best theory of light and electrons (and therefore chemistry and material science) that we have today, quantum electrodynamics, is a quantum field theory.
Football Updated 2025-07-16
Biathlon Updated 2025-07-16
Climbing Updated 2025-07-16
Cycling Updated 2025-07-16
Hunting Updated 2025-07-16
Hunt Updated 2025-07-16
Skiing Updated 2025-07-16
First They Ignore You Updated 2025-07-16
First They Ignore You, Then They Laugh at You, Then They Attack You, Then You Win
Alexander Grothendieck Updated 2025-07-16
This dude looks like a God. Ciro Santilli does not understand his stuff, but just based on the names of his theories, e.g. "Yoga of anabelian algebraic geometry", and on his eccentric lifestyle, it is obvious that he was in fact a God.
Blaise Pascal Updated 2025-07-16
Good film about him: Blaise Pascal (1972).
Good quote from his Les Provinciales (1656-57) Letter XII, p. 227:French version reproduced at: www.dicocitations.com/citation/auteurajout35106.php.
All the efforts of violence cannot weaken truth, but only serve to exalt it the more.When force opposes force, the more powerful destroys the less; when words are opposed to words, those which are true and convincing destroy and scatter those which are vain and false; but violence and truth can do nothing against each other.Yet, let no one imagine that things are equal between them; for there is this final difference, that the course of violence is limited by the ordinance of God, who directs its workings to the glory of the truth, which it attacks; whereas truth subsists eternally, and triumphs finally over its enemies, because it is eternal, and powerful, like God Himself.
Euclid Updated 2025-07-16
Évariste Galois Updated 2025-07-16
There are unlisted articles, also show them or only show them.