Logic
in [Science]
|
Second doubt Hello everybody. In Mendelson's "Introduction to mathematical logic" I've found a proposition very hard to understand. I will write it: "Definition of new function letters and individual constants: In mathematics, once we have proved, for any y1,...,yn, the existence of a unique object u that has a property B(u,y1,... 11 Mar 2010 05:39
Finite Variants upon Peano's Axioms Peano's axioms with a set N and a unary function S. 1 Some 1 in N. 2 For all n in N, Sn in N. 3 For all n,m in N, if Sn = Sm, then n = m. 4 For all n in N, Sn /= 1. 5 P(1), for all n in N, if P(n) implies P(Sn), then for all n in N, P(n). Two ways that N can be finite. Remove 4 and have integers modulus n ... 4 Mar 2010 15:49
how does Infinity = negative numbers, affect Algebra? #486 Correcting Math I am going to have to address this issue before leaving this book. The most recent latest information on Algebra was that I said that Algebra falls apart or breaks down at about 10% of all the numbers that exist. And I fetched that conclusion from the Luminet-Poincare Dodecahedral Space in conjunction with the ... 4 Mar 2010 03:26
aspects of the AP-adics book that I lose #485 Correcting Math With this book's revelations, I lose some aspects of the AP-adics book. I do not lose the famous formula: Euclidean geometry = Elliptic unioned Hyperbolic geometries That formula is a symmetry-breaking of Euclidean geometry into two NonEuclidean geometries. We can sense this symmetry in the idea that a conc... 4 Mar 2010 02:21
Another Hughes forgery, Remove this post from Usenet Re: An Ultrafinite Set Theory Archimedes Plutonium <plutonium.archimedes(a)gmail.com> leapt off a ten storey building. This is what they screamed on the way down: news:ce0c7280- acaa-47ef-b7b1-a5ac2654ea8e(a)b30g2000yqd.googlegroups.com: The below is another forgery of Archimedes Plutonium. I never wrote the text. And NANA has strict rule... 5 Mar 2010 18:29
A Finite Model of Peano Arithmetic Start with Peano's axioms: http://en.wikipedia.org/wiki/Peano_axioms. If an axiomatic theory is consistent, it will still be consistent if we remove an axiom. I will remove axiom 7: 0 is not the successor of any natural number. I can now define the set {0,1} and show it is a model of PA. Define a successor fu... 5 Mar 2010 13:57
religion influenced a misguided infinity Re: Ad Infinitum really means Ad Negatorum #475 Correcting Math Archimedes Plutonium wrote: One cannot help but think how religion adversely affected mathematics with its misled conception of infinity as forever. Religion with its god/s and everlasting power, and its foreverness. So the moment human civilization cottons on to a supernatural, is the moment a misgui... 2 Mar 2010 16:57
Infinite worlds, Quantum indeterminacy, and The endlessly generative Modern science regards the universe as fixed, even if the number of things that are fixed is "infinite" or "indeterminate". For example, science's notion of infinite possible worlds and quantum indeterminacy are all variations on a granular, fixed universe filled with fixed objects. By "fixed" I mean re-identif... 12 Mar 2010 22:54
integrating Microworld 10^-500 with Macroworld 10^500 #476 Correcting Math I am having some technical difficulties here of integrating the 10^-500 with the 10^500 Macroworld. If the infinity in the macroworld is the negative integers to the 10^500 positive integers, then there is some difficulty in extending that concept of Infinity = negative numbers to the microworld of 10^-500. At... 1 Mar 2010 01:32 |