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

Computer Science is the purest science

Name: Anonymous 2011-10-28 16:08

It's the only system that can use itself to prove itself

Name: Anonymous 2011-10-31 18:24

>>39
>implying that all the other sciences (including the soft ones like biology and chemistry) are irrelevant?

Name: Anonymous 2011-10-31 18:56

>>41
Go back to /g/.

Name: Anonymous 2011-10-31 19:30

>>39
quantum computer physics

Name: Anonymous 2011-10-31 20:48

>>42
noobfag

Name: Anonymous 2011-11-01 4:28

Gödel has proven you wrong OP.

Name: Anonymous 2011-11-01 8:53

>>45
godel is about math (peano arithmetic) not computers (turing complete)

Name: >>2 2011-11-01 10:16

>>46 HALT MY ANUS, SCRUB.

Name: Anonymous 2011-11-01 10:41

>>39
Logic, math, philosophy.

Name: Anonymous 2011-11-01 11:57

>>47
But we can't know!

Name: Anonymous 2011-11-01 14:14

>>49
No, the system computing it can't know.
We, the almighty observers, can.

Therefore man is not a machine.

Name: Anonymous 2011-11-01 14:54

>>49,50 The fuck you two are talking about?

First, Goedel's Incompleteness theorems mirror the Halting problem, it's basically the same fundamental thing seen from two different angles, and not even that different anyway.

Second, http://en.wikipedia.org/wiki/Busy_beaver#Exact_values_and_lower_bounds_for_some_S.28n.2C_m.29_and_.CE.A3.28n.2C_m.29 , -- now tell me about your super-algorithmic powers, scrubs.

Name: Anonymous 2011-11-01 15:02

>>50

(if (= (rand) 0) (let loop () (loop)) #t)
rand is a true random number generator. Will this code halt?

Name: Anonymous 2011-11-01 15:40

Solution: Every prog will halt because Windows needs to reboot to install important ANUS security updates.

Name: Anonymous 2011-11-01 16:53

>>52
True random sources are not computable. You might as well prompt for input and choose whether or not to halt on that. This has nothing to do with the halting problem.

Name: Anonymous 2011-11-01 17:27

>>54
I realized that after posting >>52 and felt ashamed.

Name: Anonymous 2011-11-01 17:31

Solution: Every program will halt because every system will halt.

Name: Anonymous 2011-11-01 17:52

>>56
The system can't halt if a program is still running.

Name: VIPPER 2011-11-01 18:39

>>55
You should feel haxed instead.

Name: Anonymous 2011-11-01 21:31

>>58
No, /prog/ has solved the Haxing Problem.

Name: Anonymous 2011-11-01 21:35

>>59
Quality post.

Name: Anonymous 2011-11-02 15:10

`
>implying implications implicitly implied

Name: Anonymous 2011-11-02 15:31

>>54
No need to compute them when you have /dev/random.

Name: Anonymous 2011-11-02 16:03

The only system that won't halt is a system that can counter any situation, because an infinite random walk will cross every point an infinite amount of times.
The random walk need not be "truly random", or even Turing-complete. All it needs to do is survive.
I learned this from Neon Genesis Evangelion, the best anime of our time.

Therefore the halting problem is essentially "can I survive any situation?". Gödel says that you can't tell that by formal logic.
Therefore you need transcendental logic. Maybe a quantum computer will be able to solve this interesting problem?

Name: Anonymous 2011-11-02 16:24

>>63 it is quality post!

Name: Anonymous 2011-11-02 17:26

Once we figure out how the human mind works, we will later be able to program a machine to compute/simulate it.

Your mind == Blown

Name: Anonymous 2011-11-02 17:27

my dubs are the purest dubs

Name: Anonymous 2011-11-02 18:11

>>66
Nice dubz, bro.

Name: Anonymous 2011-11-02 18:27

>>22

In Germany and The Netherlands the field goes by the name Informatik of Informatica, the latter I find a really nice name.

Name: Anonymous 2011-11-02 18:44

>>68
but then how can we ever use ``mad computer scientist'' when the occasion will arise.
A user of the Lisp arts may one day summon an army of autist gorillas back to life to do his bidding and we'll be fucked to stop him.

Name: Anonymous 2011-11-02 19:13

>>69
I could deal with being a `mad informatist.' That sounds kind of vague and mysterious yet modern and dangerous.

Name: Anonymous 2011-11-02 19:51

>>69,70
umad?

Name: Anonymous 2011-11-02 21:25

>>71
Damn skippy, I'm ma, son. The best part is that you have no idea how mad I am or what I'm mad about.

Nor am I about to tell your sorry faggot ass either.

Name: Anonymous 2011-11-05 16:57

Um, even the best super-computers can experience a flipped byte once every couple hundred million (or I guess every few billion) computations...  Computation and mathematics are inseparable.  Actually, that's a lie.  Computation is an element of mathematics.  Simply put, there would be no computation without mathematical laws and axioms.  One cannot compute 1=1 without first acknowledging that 1 is a number.  Computation is only a subset; just as the knot theory used to bind our DNA is a subset of math, or how stochastic calculus is used in finance.  You can't separate the two.

Name: Anonymous 2011-11-05 16:59

>>73
I can ack that hat 1 is a memory cell. That is enough.

Name: Anonymous 2011-11-05 17:26

>>74
ACK MY ANUS

Name: Anonymous 2011-11-05 18:20

>>73
I take it you didn't read the thread. There would be no mathematics if there wasn't computation. If computation didn't exist, the Universe could not do work, star systems couldn't condense from the opaque gas clouds, life couldn't evolve, our brains would not function, and thus we would not be able to create a language that captures some of the underlying computational thought processes of our minds.

Math is a subset of computation, a declarative distillation of algorithmic process. Computation doesn't need math, as each element that comprises a computational process is not aware of every other element, as can be seen in cellular automata. Mathematics is emergent.

Name: Anonymous 2011-11-05 18:22

>>73
Oh look, it's a Jew, one who confuses the model for the real thing.

Name: Anonymous 2011-11-05 18:30

>>73
And I bet you believe in a God in the sky who's calculating all of these mathematical formulae and applying the results in micromanaging the world.

Name: Anonymous 2011-11-05 18:46

http://youtu.be/bRNaJhCtHwk

Name: Anonymous 2011-11-05 18:55

>>77,78
Same person. Tell me, how do you separate computation and mathematics?
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode -