Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

OFFENSIVE TITLE

Name: OFFENSIVE NAME 2011-06-02 16:55

HIGHLY OFFENSIVE RANT ABOUT HASKELL

AUTISM

MORE AUTISM

EVEN MORE AUTISM

OHGOD AUTISM EVERYWHERE

LISP

LISP IS GOOD

LISP IS BETTER THAN EVERYTHING YOU BELIEVE IN

LISP GIVES ME A RAGING BONER

I WANT TO MARRY LISP

OH LORD IN HEAVEN I LOVE LISP SO MUCH I WOULD KILL MYSELF FOR LISP

ALSO EMACS

WINDOWS IS PIG DISGUSTING

I AM USING SOLARIS BECAUSE I KNOWS TEH LUNIX

AND TOTALLY NOT BECAUSE I AM FUCKING STUCK AT MY JOB AS SERVER ADMINISTRATOR (ALSO A RONERY FAGGOT)

Name: Anonymous 2011-06-04 15:36

>For which number N is there no N+1 > N?
For the size of observable universe. There is nothing after it.

>Then, what is the cardinality of the power set of a set with cardinality N?
please, define "set"

>>64
A minimal Forth implementation is smaller than a minimal Lisp implementation.
Why would you want a complete compiler on embedded system?

Name: Anonymous 2011-06-04 15:39

>>70
Why would you want a complete compiler on embedded system?
A complete minimal Forth implementation could fit in your MBR.

Name: Anonymous 2011-06-04 15:45

>>71
And you can code a 3d-intro in your MBR. So what?

Name: Anonymous 2011-06-04 15:52

>>72
In less than 510 bytes? I doubt it.

Name: Anonymous 2011-06-04 15:56

>>66
>Can you show that no such further redefinition is possible?
Can you show us, that you have enough paper and ink to write such a number, that is: to continue applying successor axiom S(S(S(...))) ad infinitum?

>>73
Ask demosceners.

Name: Anonymous 2011-06-04 16:10

>>70
For the size of observable universe. There is nothing after it.
Okay, so such a system with N equal to all the informational content that can be stored in our universe, you're claiming that such N+1 cannot ``exist''.

My question to you would be why do you think this particular universe exists? Why this particular size? Why these particular ``laws of physics''?

My personal opinion on this is that the universe is isomorphic to some system which can be described formally and maybe such systems are even enumerable (so in your beloved set theoretic way I would say that the cardinality of the set of all universes is at least countably infinite (I'm not claiming that any such universe is infinite or that it require non-computational laws!)), although wether they are truly enumerable is unknown (but all Turing Machines are).

If you're going to claim that no other such formal systems (and thus universes) exist, you will have to justify why exactly only this particular instance with these particular rules exists.

If you're going to claim that others may exist, but that their number is finite, you will have to justify why you chose a maximum number of such systems (remember, they do not exist within our universe, they are universes themselves, so the argument that N(as previously mentioned) is the maximum number cannot hold as there can be an universe which can hold N+1 information).

While your argument is fine for systems we can practically implement within our own universe, it cannot hold for more abstract systems (such as other possible universes).

I suppose you could claim that you're a full-on solipsist and the physical reality does not exist in any way or form and that your mind's states are not supervenient to physical states within this universe and if you do that, I cannot argue with you as changing your mind through physical means also means destroying your current state of mind and thus would not be proof to yourself (it can only be proof for a third party).

Name: Anonymous 2011-06-04 16:17

>>70
>There is nothing after it.
define "nothing"

Name: Anonymous 2011-06-04 16:19

>>75
My question to you would be why do you think this particular universe exists? Why this particular size? Why these particular ``laws of physics''?
I see it. But I don't see that for each N there is N+1 > N.

While your argument is fine for systems we can practically implement within our own universe, it cannot hold for more abstract systems (such as other possible universes).
While your argument is fine for our mortal world, the God will punish you to Hell!!11
http://en.wikipedia.org/wiki/Pascal's_Wager

Please, stop seeing invisible pink unicorns.

Name: Anonymous 2011-06-04 16:19

>>76
Aren't you and >>70 the same person? Both completly finitist and quoting improperly to troll people?

Name: Anonymous 2011-06-04 16:21

>>76
Infinity, God, The Set of All Sets, Which Don't Contain Itselves.

Name: >>76 2011-06-04 16:23

>>78
I was sorry for >>75, who took him seriously, and wanted to point out that >>70-kun doesn't believe in infinity, but he does believe in ``nothing'', which is as abstract as infinity (empty set, anyone?)

Name: Anonymous 2011-06-04 16:33

>>78
That's the joke, >>76 is imitating >>70.

>>70
Math is one of the most abstract sciences there is; stop involving stupid things like "the size of the observable universe".
IHBT.

Name: Anonymous 2011-06-04 16:35

>>77
I see it.
You can't see what is around your back right now, nor can you hear what is happening in the Earth's core. Your sensory input is quite limited each time, but you can put together a model of the world and from there you can reason. You lack information about the existence of most things, you rely on information provided in other ways to infer their existence. The same way I infer that if an universe has very specific laws then it's very likely that other universes with other specific laws will exist, I don't think the number of such universes is finite as one can always amend the laws in various ways (for example, you could try defining each as one Turing Machine and you can enumerate them all like natural numbers, however the number of all such machines is infinite, like natural numbers).

I don't see what the point of linking to Pascal's Wager, believing in a ``God'' is silly because the probability of our universe being ``ruled'' by one is low and there is no physical evidence to support it, however as sad as I find it, the possibility for such a ``God'''s existence cannot be fully ruled out, except when it's not logically possible (but you cannot rule out that someone is living in some upper universe, simulating yours and will not extract the patterns in your synapses, emulate them and decide to give you a paradise or torture you depending on some arbitrary rules, but then one cannot rule out that another universe exists with a ``God'' with completly complemetary rules to the other, in which case, regardless of what you do, you will experience both ``Heaven'' and ``Hell''). In the end all this is pointless to argue about and the best way to live one's life is to not care wether any such being exists or can exist and thus Pascal's Wager is not a compelling argument for me.

Please, stop seeing invisible pink unicorns.
Where did I claim to see any such thing? The only thing that I did was make an inference. Let me illustrate it in another example:

You are put in a prison cell and have an arbitrarily large number written on it. You may infer that that could be your prisoner number/identifier. You may infer that other prisoners are likely to exist (or have existed) without actually seeing them. This is not strong evidence, but a good enough suggestion.

There is one way to prove the Ultimate Ensemble hypothesis right or wrong through a scientific test, but we that live in this universe cannot ever know the result of that test (but others may and could even use this result to their advantage). I could elaborate on this further if you're interested.

Name: Anonymous 2011-06-04 16:36

>>81
"abstract" is just another term for religious pseudoscience

he does believe in ``nothing'',
Nothing is an error code. Like division by zero.

Name: Anonymous 2011-06-04 16:43

>>82
You lack information about the existence of most things, you rely on information provided in other ways to infer their existence
At least I've seen them before.

``God'' is silly because the probability of our universe being ``ruled'' by one is low and there is no physical evidence to support it
What physical evidence that for every N there is N+1 > N?

You are put in a prison cell and have an arbitrarily large number written on it. You may infer that that could be your prisoner number/identifier. You may infer that other prisoners are likely to exist (or have existed) without actually seeing them.
Nice lateral thought fantasies. But where is cell numbered "Infinity"?

Name: Anonymous 2011-06-04 16:49

>>84
What physical evidence that for every N there is N+1 > N?
Natural numbers are not defined in any physical way, they are defined by axioms.
But where is cell numbered "Infinity"?
I don't think I ever argued for literal infinity as a value belonging to the set of natural numbers(unless it's just a symbol denoting a set's cardinality, in which case it's defined, although in a rather shaky way). I merely argue that you cannot find the end of the set and thus you may as well call it infinite.

My argument was also along the lines that using maximum informational content possible within the universe as the maximum number you can have is not a valid argument as other universes can exist (and are likely to exist: that was the point of the prisoner thought experiment) and in those universes the visible universe could contain a larger number and so on, so physical implementation of a number cannot be required.

Name: Anonymous 2011-06-04 16:51

>>84
What physical evidence that for every N there is N+1 > N?
What's the last number? Add one to it.

Name: Anonymous 2011-06-04 16:56

>>85
I merely argue that you cannot find the end of the set and thus you may as well call it infinite.
So, seeing a single finite cell id, that there is an "infinte set" number of such cells? Nice inference!

Natural numbers are not defined in any physical way, they are defined by axioms.
http://en.wikipedia.org/wiki/Dogma

maximum informational content possible within the universe as the maximum number you can have is not a valid argument as other universes can exist
That is Pascal's Waget at its best! You should believe in X, because X can exist. Also "can exist" is a little ambiguous quality.

Name: Anonymous 2011-06-04 16:58

And I completly forgot to mention the fact that the universe is constantly expanding thus if a final state existed (I'm not claiming it does), the size would be infinite, however one could claim that it is finite at any finite moment of time (this does however lack evidence, but it's probably a reasonable assumption).

Name: Anonymous 2011-06-04 17:01

>>88
at any finite moment of time
Yeah, but when does time stop?

Name: Anonymous 2011-06-04 17:01

>>87
So, seeing a single finite cell id, that there is an "infinte set" number of such cells? Nice inference!
Except you have a rule which lets you produce the next element.
Let's try it like this:


0 == 0
1 == (1+ 0)
2 == (1+ 1) == (1+ (1+ 0))
3 == (1+ 2) == (1+ (1+ 1)) == (1+ (1+ (1+ (1+ 0))))
...


That is Pascal's Waget at its best! You should believe in X, because X can exist. Also "can exist" is a little ambiguous quality.
Pascal's Wager claims that you should change your behavior because of some possible arbitrary rule might exist. My answer to it is that both said arbitrary rule and the opposite of that rule can exist thus the change in behavior is not warranted.

Name: Anonymous 2011-06-04 17:03

>>86
What's the last number? Add one to it.
0xFFFFFFFF+1 = 0

BTW, some physicists hypothesize that universe is recursive (that is: merges onto itself), like the surface our planet Earth, which in dark ages, was believed to be infinite.

Name: Anonymous 2011-06-04 17:05

>>91
Then, Lisp and non-32-bit unsigned integers are jewish?

0]=> sbcl
This is SBCL 1.0.48, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>;.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses.  See the CREDITS and COPYING files in the
distribution for more information.
* (+ #xFFFFFFFF 1)

4294967296

Name: Anonymous 2011-06-04 17:06

>>91
Even if the universe's size is finite and the universe's laws are describable in a finite and concrete way, that won't answer why this specific size and those specific laws. If one reaches that conclusion they will probably reach the conclusion that this universe is just an instance in a ``sea'' (set) of possible other universes and that the number of possible universes is not finite (although wether it is a countable or uncountable infinity remains to be debated: if it's countable, this most likely means arithmetic is not consistent and only finite systems can exist, but the number of finite systems is a countable infinity).

Name: Anonymous 2011-06-04 17:07

>>90
Except you have a rule which lets you produce the next element.
You have a rule, which lets you stack items into a tower. But we all know, that if you put too many items in it, the tower will collapse.

Name: Anonymous 2011-06-04 17:08

>>92
Try (+ 1 (expt 2 #xFFFFFFFF))

Name: Anonymous 2011-06-04 17:09

>>92
"0x" != "#x"

Name: Anonymous 2011-06-04 17:10

>>94
What rule states that the tower may collapse? This is only a concern for physical systems.
The meta-rules describing the physics of this universe are not subject to these issues. They only need be consistent within themselves, although it's not required that they can prove their own consistency by themselves.

Name: Anonymous 2011-06-04 17:13

>>97
What rule states that the tower may collapse?
Gravity and material properties.

This is only a concern for physical systems.
The meta-rules describing the physics of this universe are not subject to these issues.
Metaphysical systems are religion.

They only need be consistent within themselves
define "consistent"

Name: Anonymous 2011-06-04 17:18

>>98
consistent
You cannot form a statement within the system which is both true and false. Free from contradiction.

Gravity and material properties.
There is no gravity and material properties in Peano's Axioms.

Metaphysical systems are religion.
So once you reach a consistent description of the ``Theory Of Everything'' that describes the universe, and for argument's sake (so it would be more convenient for you), let's say the universe is finite, the laws are finite and as we know arbitrary enough (although quite symmetric), how do you justify the universe having a specific size and specific laws?

Name: Anonymous 2011-06-04 17:20

>>95
SBCL has a limit on the precision of its bignum, it probably has a variable to raise the limit. So what? 2^(2^32)+1 is still a valid number (although too long to fit in a /prog/ post)

>>96
Don't be stupid.

Name: Anonymous 2011-06-04 17:22

>>100
I think >>95's argument is that that number takes more than 4GB and won't fit on a 32bit x86 CPU. Hardly an issue for a different system, but of course you could always devise a number which cannot be implemented physically in this universe as it would require more universe than the universe can hold, but this doesn't mean that this number cannot exist formally or that there may not be an universe out there where it could be implemented physically.

Name: Anonymous 2011-06-04 17:23

*require more memory than the

Name: Anonymous 2011-06-04 17:27

>>100
Hardly an issue for a different system

Try (+ 1 (expt 2 (expt 2 #xFFFFFFFF)))

Name: Anonymous 2011-06-04 17:27

>>101
Saying that a number doesn't exist because it's physically impossible to have such quantity in this universe is just as childish and stupid than saying that there cannot exist 1G$ because they wouldn't fit in my wallet.

Name: Anonymous 2011-06-04 17:33

>>104
Don't stop believing, dear creationist!

Name: Anonymous 2011-06-04 17:34

>>105
But they do not fit in my wallet, how can they exist

Name: Anonymous 2011-06-04 17:37

>>106
If haven't seen God, then it must exist.

Name: >>101 2011-06-04 17:38

>>104
I didn't claim that, but that's the claim that the ``finitist troll'', ``in Lisp'' guy or whatever his other personas/names are. I can understand his arguments, but while I could see arithmetic someday being shown inconsistent (worst case scenario), along with the rest of the math and thus the only thing that remains is finite computation and logic - even in that case, the number of consistent, but finite systems would be infinite (even if only countably infinite).

Name: Anonymous 2011-06-04 17:38

>>107
But does it fit in my wallet?

Name: Anonymous 2011-06-04 17:40

>>108
finite would be infinite
Wow!

Name: Anonymous 2011-06-04 17:41

>>107
That depends on the definition of the term. There could also be an infinity of possible ``God''s, that doesn't mean they would have any physical effect on the world we live in or that one should change their behavior if some religion's ``God'' exists within some contained universe. The existence or inexistence of such a being bears no relevance to beings of matter existing in this universe (but wether it could bear relevance to informational patterns representing someone else's mind is another issue).

Name: Anonymous 2011-06-04 17:43

>>110
Any natural number is finite. The number of natural numbers isn't.
Any enumerable turing machine is finite. The number of enumerable turing machines is not.

Name: Anonymous 2011-06-04 17:44

>>111
That depends on the definition of the term.
Yes. Anything "unseen" is "God". That is the point. It's a meaningless buzzword.

Name: Anonymous 2011-06-04 17:44

>>108
I know, but he's still and childish moron with little to none knowledge whatsoever on the subject he keeps bashing. Hell, I too did ask myself ``what's the last number?'' and ``if infinity is the last number, what's inf+1?'', but when I was five, goddamn.

Right now, he's just negating reality, he does not have any concrete proof in his favor, besides his delusions.

Name: Anonymous 2011-06-04 17:45

>>112
The number of natural numbers isn't.
"The number of natural numbers" is invisible pink unicorn.

Name: Anonymous 2011-06-04 17:45

>>114
Your whole post is an ad hominem. It would be a waste of time to argue with you.

Name: Anonymous 2011-06-04 17:49

>>115
Would you prefer that I call it ``the cardinality of the set of natural numbers''? Or that you won't be able to find a natural number which can represent ``the cardinality of the set of natural numbers''?

Name: Anonymous 2011-06-04 17:51

>>117
I have never proceeded from any Genus supremum of the actual infinite. Quite the contrary, I have rigorously proved that there is absolutely no Genus supremum of the actual infinite. What surpasses all that is finite and transfinite is no Genus; it is the single, completely individual unity in which everything is included, which includes the Absolute, incomprehensible to the human understanding. This is the Actus Purissimus, which by many is called God. -- Georg Cantor

Name: Anonymous 2011-06-04 17:56

>>118
You objected when >>114 used that ad-hominem on you, but now you're arguing against Cantor using the same method, not only that, you would probably argue against him purely based on his race (which is actually an open question today).

Name: Anonymous 2011-06-04 18:47

>>119
Nope. This is a quote from wikipedia.

Name: Anonymous 2011-06-05 4:16

>>120
Even if you didn't mean it as an ad-hominem, someone's statements should stand by themselves and whatever statements that cannot be verified or that are outside someone's field should not influence the value of their other statements and contributions. Newton believed in a lot of crazy stuff, but that doesn't make his contribution to physics or calculus any less.

Name: Anonymous 2011-06-05 17:50

>>121
Are you saying that Cantor's theory is "crazy stuff"? What allows you to insult Cantor's avowed figure? Wake up! Everything Cantor says is true, cause he is the universally recognized mathematical authority, not you.

Name: Anonymous 2011-06-05 21:51

>>122
No, he's not. He said Newton had some crazy beliefs, which I suppose Newton may have regarded as theories at the time.

I will say that virtually all of Cantor's theories indeed qualify as 'crazy stuff', which has nothing much to do with their validity. Fucker went shithouse rats working on part two. Poor guy, but he gave us something great in the process. I for one am grateful.

Name: Anonymous 2011-06-05 23:22

>>123
he gave us something great in the process.
But this "great" was based purely on his ideas and beliefs! It wasn't based on physical observation, like original Greeks did with geometry. Newtons use of infinitesimals also owes its existence to his belief.

Name: Anonymous 2011-06-06 0:19

>>124
Or does it

Name: >>123 2011-06-06 1:08

>>124
Oh sorry, I meant to avoid posting in this thread. Didn't see the title this time around. I'll excuse myself now. Sorry again for wasting your time!

Name: Anonymous 2011-06-06 7:17

>>126

LISP IS BETTER THAN EVERYTHING YOU BELIEVE IN

Name: Anonymous 2011-06-06 7:38

>>127
dats bcuz jews did it lol amirite?

Name: Anonymous 2011-06-06 12:38

relevancy

Name: OFFENSIVE NAME 2011-06-06 12:54

OFFENSIVE POST

Name: Anonymous 2011-06-06 12:55

>>18
fuck off and die you faggot

Name: Anonymous 2011-06-06 13:54

>>131
I'm starting to think you can tell what my posts are.

Name: Anonymous 2011-06-06 14:12

>>132
Of course, I just searched the database by IP address.

Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List