Logic
in [Science]
|
How to pronounce 'Suppes'? (was Re: Why Define Cardinality?) Frederick Williams wrote: Tarski just has |x| = |y| iff x equinumerous to y. And Suppes follows him. Which reminds me: does anyone here know the correct pronunciation of that name, 'Suppes'? (I recently heard someone pronounce it a bit like 'shoe-piece'. Someone else pronounced it more or less like 'suppe... 10 Dec 2009 14:33
FALSE PREMISES AND INVALID ARGUMENTS In 1850 Clausius deduced (the prototype of) the second law of thermodynamics in this way: http://web.lemoyne.edu/~giunta/Clausius.html "Ueber die bewegende Kraft der Warme" 1850 Rudolf Clausius: "Carnot assumed, as has already been mentioned, that the equivalent of the work done by heat is found in the mere tran... 24 Dec 2009 03:13
THE REASON BEHIND DARK ENERGY The only reason behind Dark Energy: http://www.physorg.com/news179508040.html "More than a dozen ground-based Dark Energy projects are proposed or under way, and at least four space-based missions, each of the order of a billion dollars, are at the design concept stage." Sometimes the correct solution to the p... 20 Jan 2010 02:56
Principles Of Foundation Engineering (6thEd) - Das - Solution Manual is available at affordable prices. Email me at allsolutionmanuals11[at]gmail.com if you need to buy this. All emails will be answered ASAP. Principles Of Foundation Engineering (6thEd) - Das - Solution Manual is available at affordable prices. Email me at allsolutionmanuals11[at] gmail.com if you need to buy this. All emails will be answered ASAP. ... 3 Dec 2009 09:15
Cheap L&M cigarettes - Buy cheap L&M cigarettes online L&M Red Label, Blue Label, King Size Filters, ONE, Silver Label, Vibe Slims cigarettes are offered today in all varieties. We ship to the UK, USA, and Europe. Quick delivery and duty free products guaranteed. Buy premium class cigarettes, genuine L&M Cigarettes on http://all-cigarettes-tobacco.com. Visit our onli... 3 Dec 2009 04:52
Mensa has failed as an organization and exists to serve the egos of members On Oct 18, 6:06 pm, BURT <macromi...(a)yahoo.com> wrote: On Oct 18, 5:47 pm, Mensanator <mensana...(a)aol.com> wrote: On Oct 18, 7:53 pm, BURT <macromi...(a)yahoo.com> wrote: On Oct 18, 4:40 pm, Mensanator <mensana...(a)aol.com> wrote: On Oct 18, 5:37 pm, BURT <macromi...(a)yahoo.com> wrote... 6 Dec 2009 11:42
The size of proper classes? Working in NBG\MK minus choice Can there exist a proper class x that is not supernumerous to the class of all ordinals that are sets? x supernumerous to y <-> Exist f (f:y-->x, f is injective) I always had the idea that the class of all ordinals that are sets, is the smallest proper class, i.e. there do not... 9 Dec 2009 20:00
Natural numbers It seems a common technique for working with the natural numbers is to pick a set of axioms, such as Peano's, show the naturals are a model of those axioms, and work the axiomatic method from there. Can we go the other way? What if we say, in something like Haskell, data nat = zero | succ nat and define ope... 13 Dec 2009 18:43
New Primitive Programming Language - Is it Turing Complete? Consider the following particularly simple programming language called LOOP+EQ: 1. Loop through the numbers 0, 1, 2, . . . with loop variable X or Y or Z . . . 2. Assign variables A, B, C . . . to a variable, constant 0 or 1, or a programmable function on variables. 3. Execute a (sub)program iff two given var... 20 Jan 2010 20:50
Cardinality, Number, and Identity There are more objects than me, but there are no fewer objects than me. What is the reason for that? Am I either the first cardinal or the first number, or neither? ... 30 Nov 2009 12:29 |