Description:
Logic -- math, philosophy & computational aspects.
|
|
|
Computable functions/reasls: followup.
|
| |
OK then, the debate seems to have subsided, so maybe I could make a summary, and perhaps add a few extra words. The comprehensive and helpful (as usual) articles by Keith Ramsay seem to cover most points, and suggest... a) there IS a more-or-less standard meaning to "computable R->R function"; b) it is not paid much attention to by orthodox mathies because...... more »
|
|
|
Two dimensional formulas
|
| |
...It may be too late for an answer, however I will try. I know such a response to my PS is almost standard. I think you give such a response automatically, because (automatically I assume) you don't recognize me and of course don't live around me. Now let investigate my situation. Suppose you are in home and feel a strong heat seems to coming from a... more »
|
|
|
Tarski's theorem
|
| |
I'm a bit confused about exactly what conditions will induce a definition of satisfaction to collide with Tarski's theorem. One way to put the theorem is as follows. Let A be a sentence of L(epsilon), and let B be a formula in L(epsilon) with one free variable. Let ZF+A result from adding A as axiom to ZF. Suppose that for every sentence B, we have... more »
|
|
|
Uncomputable Natural Numbers
 
|
| |
PlanetMath defines recursive set as: [link] A subset, S, of the natural numbers, N, is said to be recursive if its characteristic function is computable. In other words, there is an algorithm (via Turing machine for example) that determines whether an element... more »
|
|
|
An argument against modus ponens
|
| |
Modus Ponens: If P, then Q. P. Therefore, Q. The "If" announces a truth value. So "if P" requires the consideration of another element or object through which a truth value may be ascertained. If we eliminate the ontological and existential status with which the term "if" baptises its objects, then modus ponens reduces to... more »
|
|
|
Applying Godel
|
| |
how does one actually go about applying Godel's result G: ~provable(G) to a Theory? How does one actually determine whether some statement or other IS in fact unprovable in the theory but nevertheless true? (Fermat's last theorem, turned out not to be unprovable after all) and what algabraic stetements, if any, have alreadly been found to be true... more »
|
|
|
solutions manual and ebook (text book)
|
| |
I am a solutions manual collector, I offer solutions manual and ebook services Note: all solutions manual in soft copy that mean in Adobe Acrobat Reader (PDF ) format. if you want any book not just solutions just contact with us。 to get the solution manual you want ，please send message to sharesolut...@msn.com ，sharesolution(at)msn.com， replace (at) to... more »
|
|
|
What is a Reverse Mortgage?
|
| |
What is a reverse mortgage? It is a financial instrument available to Americans 62 years old or older. Basically, a reverse mortgage allows seniors to use the cash equity that they have built up over the years to make mortgage payments. Whereas a standard mortgage requires the borrower to make a monthly payment and generate equity, a reverse... more »
|
|
|
Milenko Kindl personal attorney
|
| |
Milenko Kindl WASHINGTON - A lawyer hired to defend Sarah Palin in an ethics investigation said Tuesday he is representing Palin both personally and in her official capacity as governor. ADVERTISEMENT Lawyer Thomas Van Flein, who also previously represented the Palin family in another matter, said there was no conflict of interest in... more »
|
|
|
