Description:
Logic -- math, philosophy & computational aspects.
|
|
|
Need help understanding some wf
|
| |
Hello everybody. Some days ago I wrote to this group to solve one doubt, and William Elliot tried to explain me. But the doubt remains. Please can't anybody read the first message written with the title "Second doubt" in this group?. Thanks in advance.
|
|
|
solutions manual to Algebra Baldor
|
| |
I have the comprehensive instructor's solutions manuals in an electronic format for the following textbooks. They include full solutions to all the problems in the text, but please DO NOT POST HERE, instead send me email including title and edition of the solutions manual u need. NOTE: This service is NOT free... more »
|
|
|
A Three Value Logic
|
| |
We can reason about the unknown by making unknown part of our logic. This is a 3-value logic with the truth values True, False, and Unknown. Notation: 0 = False 1 = True 2 = Unknown A,B,C,... = unassigned variables a0,b1,c2,... = assigned variables & = AND + = OR The value of a variable is assigned.... more »
|
|
|
A Challenge to mathematical physicists
|
| |
In the next sentence, answer the first two questions and then answer, if you can, the third and most significant one. In Einstein's 1905 equation tau = a(t - vx'/{c^2 - v^2}), where did the "a" come from and what does it signify; and IF it IS "a function phi{v) at present unknown" WHAT is its value if, as he later... more »
|
|
|
EINSTEIN EXERCISING HIMSELF IN CRIMESTOP
|
| |
[link] George Orwell: "Crimestop means the faculty of stopping short, as though by instinct, at the threshold of any dangerous thought. It includes the power of not grasping analogies, of failing to perceive logical errors, of misunderstanding the simplest arguments if they are... more »
|
|
|
Peter Koellner's thesis
|
| |
Would be interested in discussing Chapter 4 of Peter Koellner's thesis [link] and whether people find his proposed principles EP and GEP to be "plausible".
|
|
|
Topos theory: axiom of choice implies a topos is Boolean
|
| |
Hi all, I'm reading Goldblatt's /Topoi: The Categorial Analysis of Logic/ and am stuck on how to fill in some gaps in a proof. The author claims that, if a topos E has the property that every epic arrow has a right inverse then E is Boolean, i.e. every monic f: a -> d has a complement in sub(d), the lattice of subobjects of d. To show this, let... more »
|
|
|
|
