✳flâneur — a map of the web's best reading

Eat. Sleep. Math.

eatsleepmath.tumblr.com · 2,730 words · saved by 1 readers

This paper is primarily concerned with a special case of one of the leading problems of mathematical logic, the problem of finding a regular procedure to determine the truth or falsity of any given logical formula. But in the course of this investigation it is necessary to use certain theorems on combinations which have an independent interest and are most conveniently set out by themselves beforehand. Fundamental for us is ZFC. I feel it is not something esoteric for you. Rather, most mathematicians “do not know” of ZFC just as Monsieur Jourdain in Molière’s Bourgeois Gentilhomme “did not know” he was speaking in prose; or, in the same way that most of us use freely the law of the excluded middle, “A or ¬A”, without any scruples, because we do not even notice that we are using it. Many times, we can read but not understand (mathematical writings). However, I guarantee you will understand, though not necessarily be able to read (including most of my audience and unfortunately myself) t

Eat. Sleep. Math. Eat. Sleep. Math. Ask me anything! Sep 18, 2020 This paper is primarily concerned with a special case of one of the leading problems of mathematical logic, the problem of finding a regular procedure to determine the truth or falsity of any given logical formula. But in the course of this investigation it is necessary to use certain theorems on combinations which have an independent interest and are most conveniently set out by themselves beforehand. Frank Ramsey, before proving Ramsey's theorem Sep 3, 2020 Hilbert complained about being driven out of Cantor's paradise. Well,

Explore this link on the map →

saved by

related reading