Outer Web | Explore

Explore >> Select a destination

You are here		thehousecarpenter.wordpress.com Notes on proving the completeness theorem for propositional logic \| The House Carpenter
\|	\|	explainingmaths.wordpress.com Latest posts on my Blogger blog6/4/24 - Explaining mathematics	3.0 parsecs away Travel
\|	\|	For more of these summaries, you can search this blog for "Latest posts on my Blogger blog", or directly see https://explainingmaths.wordpress.com/?s=%22Latest+posts+on+my+Blogger+blog%22 Here are some links to my most recent posts on my Blogger blog, where I am able to use MathJax. I'll periodically post updates on this blog, with links and brief descriptions. My latest...	3.0 parsecs away Travel
\|	\|	xorshammer.com But Why Is Proof by Contradiction Non-Constructive? - XOR's Hammer	2.9 parsecs away Travel
\|	\|	We think of a proof as being non-constructive if it proves "There exists an $latex x$ such that $latex P(x)$ without ever actually exhibiting such an $latex x$. If you want to form a system of mathematics where all proofs are constructive, one thing you can do is remove the principle of proof by contradiction:...	2.9 parsecs away Travel
\|	\|	mikespivey.wordpress.com No Integer Solutions to a Mordell Equation \| A Narrow Margin	3.3 parsecs away Travel
\|	\|	Equations of the form $latex x^3 = y^2 + k$ are called Mordell equations. In this post we're going to prove that the equation $latex x^3 = y^2 -7$ has no integer solutions, using (with one exception) nothing more complicated than congruences. Theorem: There are no integer solutions to the equation $latex x^3 = y^2...	3.3 parsecs away Travel
\|	\|	thisfineplace.wordpress.com IMG_5823 - This Fine Place	14.1 parsecs away Travel
\|		Travel & Home Interiors Inspiration	14.1 parsecs away Travel