/sci/ - Science & Math

[Anonymous No.11502945]

What did this guy do exactly do become Reddit God? I don't see how he advanced computer science in any way, all he did was meme shit and fucking boys, is this really what constitutes merit in the CS community?

[Anonymous No.11503039]

>>11502945
He was born into high society, wrote an influential paper in 1936, and he did some shady, unspecified work for military intelligence. Then much later he was given a very unusual plea and sentence on a very unusual charge, which for sensible people sets off serious alarm bells that there is some greater underlying scandal; but which reddit and the jews consider proof of virtue because muh based faggots

[Anonymous No.11503064]

>>11502945
He's kind of reddit, but pretty much just because he is very well known and influential. Kind of like einstein/feynman to a lesser degree: everyone knows him because he deserves to be known. Considering his cybernetics work, Norbert Weiner maybe be to him what Ken Wilson would be to Feynman
He set up much of modern computation theory. Was kind of a "war hero".His paper "The Chemical Basis of Morphogenesis" was quite influential in mathematical biology and cybernetics.

[Anonymous No.11503149]

>>11502945
He laid the groundwork for the theory of computation. He created computer science, basically.

[Anonymous No.11503162]

>>11503149
>Who is Alonzo Church
>Who is Kurt Godel

[Anonymous No.11503224]

>>11503039
What is interesting, is that by the looks of the indictments it appears Arnold Murray testified against Turing, securing him a better deal. Even more red flags here.

[Anonymous No.11503694]

*Ahem*

pic

/thread

[Anonymous No.11503704]

>>11503039
> "a very unusual charge"
WTF is very unusual about some degenerate engaging in thievery and faggotry?

[quantum_mechanic No.11503707]

Can anyone explain why the halting problem is considered significant?

[Anonymous No.11503717]

>>11503707
If you can't solve the halting problem you can't solve Hilbert's decision problem.

[Anonymous No.11503718]

>>11503707
Because it's not evident that there are computationally undecidable problems.
And the negative answer to the Entscheidungsproblem wrecks hopes along the lines of Hilberts program

[Anonymous No.11503719]

>>11502945
Reddit likes him because he was gay and there's a movie.

[Anonymous No.11503731]

>>11502945
He and Church made the most intuitive models of computation, and his model was able to directly tackle the halting problem / restatement of Gödel's incompleteness in computation.
Church's work is very important for helping us reason completely formally using lambda calculus and setting up the longstanding relationship with language theory, but Turing's formulation gave a grounded equivalent model that admitted an easy understanding of what an algorithm actually is. Now, the Church-Turing thesis is basically an effective definition of an algorithm, but Turing's tied the mathematics to the mechanism, seen in the von Neumann / Harvard architecture. That, and his notion of the stored program had huge effects on the way we think about practical computer systems (and how we reason about instructions as data themselves).

By no means is he the only big boy in early CS, nor is he even the only father of CS, but his contributions are noteworthy. I wish we talked more about Karp, Cook, Rabin, Lamport, Levin, etc. though

[Anonymous No.11503755]

>>11503707
One, because it gives us a fairly succinct characterization of what is undecidable by our model computation. Basically every undecidable problem ends up being some reduction from the halting language or something similar.
Second, because it's a completely different framework and setting to study. In particular, see
https://cstheory.stackexchange.com/questions/10635/halting-problem-uncomputable-sets-common-mathematical-proof/10636#10636
"The halting theorem, Cantor's theorem (the non-isomorphism of a set and its powerset), and Goedel's incompleteness theorem are all instances of the Lawvere fixed point theorem..."

[Anonymous No.11503790]

>>11503719
this

[Anonymous No.11503924]

>>11503719
Yep

[Anonymous No.11503957]

>>11502945
ITT: /sci/ proves once again they know nothing about computer science

[Anonymous No.11503970]

>>11503694
found the newfag

[Anonymous No.11503983]

>>11502945
Basically this >>11503064
He's very popular and mainstream. Many other scientists contributed heavily to computer science, but that should not undercut the legitamately significant contributions Turing made as well.
Turing was a very important mathmetician and deserves the credit he gets.

However, the reason Reddit loves him is because a movie staring Benedict Cumberbatch was made about him, he was gay, and generally the mainstream depiction of him is a misunderstood pariah.
Reddit eats this up and thus they idolize him. It has nothing to do with Turing and everything to do with what qualities Redditors latch on to.

[Anonymous No.11504073]

>>11503162
who are they? ive never heard of those losers

[Anonymous No.11504771]

He cracked the Enigma code. Without that, the war may have gone on for a lot longer.

[Anonymous No.11504797]

>>11504771
If Turing had been on the nazi side, inventing the electronic computer, imagine how he would be hailed as a hero now, especially by the typical nazi /sci/ scum.

[Anonymous No.11504803]

>>11504797
>If Turing had been on the nazi side
He would have been executed with a bullet in the head because he was a fag

[Anonymous No.11504815]

>>11503983
Remind them that he was also a gay pedo for maximum trolling

[Anonymous No.11504827]

>>11502945
His T levels were way too high

[Anonymous No.11504836]

>>11504803
>executed with a bullet in the head because he was a fag
The brits gave him an injection instead, which made him suffer longer.

[Anonymous No.11504855]

>>11503064
he wasn't really 'reddit' before the imitation game

[Anonymous No.11505315]

>>11504771
>He cracked the Enigma code.
The records of who did what at Bletchley Park are still a military secret, but it was full of Britain's top mathematical talent and the 'hero' of the team is conventionally agreed to be Bill Tutte.