[a / b / c / d / e / f / g / gif / h / hr / k / m / o / p / s / t / u / v / vg / vm / vmg / vr / vrpg / vst / w / wg] [i / ic] [r9k / s4s / vip] [cm / hm / lgbt / y] [3 / aco / adv / an / bant / biz / cgl / ck / co / diy / fa / fit / gd / hc / his / int / jp / lit / mlp / mu / n / news / out / po / pol / pw / qst / sci / soc / sp / tg / toy / trv / tv / vp / vt / wsg / wsr / x / xs] [Settings] [Search] [Mobile] [Home]
Board
Settings Mobile Home
/sci/ - Science & Math

Name
Options
Comment
Verification
4chan Pass users can bypass this verification. [Learn More] [Login]
File
  • Please read the Rules and FAQ before posting.
  • Additional supported file types are: PDF
  • Use with [math] tags for inline and [eqn] tags for block equations.
  • Right-click equations to view the source.

08/21/20New boards added: /vrpg/, /vmg/, /vst/ and /vm/
05/04/17New trial board added: /bant/ - International/Random
10/04/16New board for 4chan Pass users: /vip/ - Very Important Posts
[Hide] [Show All]


[Advertise on 4chan]


File: images(174).jpg (5 KB, 276x183)
5 KB JPG
>Turing proved that there are some calculations computers can't do
>Every machine that can do all the computations possible by a computer is called a Turing complete computer
>Quantum computers can do calculations that classical computers can't
So are quantum computers capable of transcending mathematics or are vlassical computers not real Turing machines? What's going on?
>>
>>17039377
I don't have a formal proof but every quantum computer can be simulated classically to arbitrary precision with finite resources so QC cannot be more powerful conceptually, only have better performance.
I can give you a proof sketch for why QC can always be simulated, but it boils down to the fact you can approximate e^x as a polynomial for any finite x
>>
>>17039377
who cares, do something useful and stop thinking about this garbage. I bet you cant change your own oil
>>
>>17039377
>>Turing proved that there are some calculations computers can't do
his computers*
>>
>>17039449
The halting argument applies to any computer
>>
>>17039460
get a life
>>
>>17039461
am I wrong though?
>>
>>17039460
no it does not migger
>>
>>17039467
yes it does nigger
>>
>>17039469
no it does not migger
>>
>>17039377
Quantum computers are only able to provide probabilistic answers to some problems slightly faster than a classical computer. They're a total scam.
>>
>>17039467
>>17039461
can you sell me one that doesn't? I'll pay anything you ask
>>17039393
classical computers can't run shor's algorithm retard, no matter how big you make them
>>
>>17039494
>classical computers can't run shor's algorithm retard,
you have no idea what you are talking about. A system of N qbits has a finite basis of size 2^N. As such it can be simulated to any precision given sufficiently enough resources on a classical computer. Leave and only come back when you learned linear algebra and basic QM you popsci lobotomite.
>>
File: file.png (105 KB, 1053x443)
105 KB PNG
>>17039494
>can you sell me one that doesn't?
That will be your life savings, pseud-kun.
https://en.wikipedia.org/wiki/Linear_bounded_automaton
>>
>>17039499
shor's algorithm is log N. a classical computer can't achieve that
>hummm but it can achieve it in O^2000
shut up retard. that's not shor's algorithm. that's something different that turing machines can run
>>
>>17039471
>write program that analyzes raw binary of executable, predicts whether that executable will crash
>modify program to crash when .exe does not and terminate when .exe does
>export program as new executable
>run that .exe in the new program
what happens?
>>
>>17039501
>However, Minsky notes:[9]

> ...the magnitudes involved should lead one to suspect that theorems and arguments based chiefly on the mere finiteness [of] the state diagram may not carry a great deal of significance.

>For example, a computer with a million two-state components would have at least 21,000,000 possible states:[9]

> This is a 1 followed by about three hundred thousand zeroes ... Even if such a machine were to operate at the frequencies of cosmic rays, the aeons of galactic evolution would be as nothing compared to the time of a journey through such a cycle.

the pseud "forgot" to include the relevant text right after his screenshot lmaoooo
>>
>>17039504
>.exe
linux can do it though. your problem is that you're using microslop
>>
>>17039507
>write linux program that analyzes raw binary of program X, predicts whether program X will crash
>modify program to crash when program X does not and terminate when program X does
>export program as new linux program
>analyze exported program code in itself
what happens?
>>
>>17039502
>shor's algorithm is log N
That is of no concern to what I said, which is:
>every quantum computer can be simulated classically to arbitrary precision
which is factually true. It makes no claim about being equally efficient. Anything a QC does in finite time a classical computer does in finite time as well. I even said in the original post
> QC can [...] only have better performance.
You can't read and most likely are just an undergrad with severe dunning krueger
>>
>>17039505
>restricts to a tape of length 2
idk why the mathematically inept are like this, making sweeping arguments and still acting smug when they are corrected by their betters.
>>
>>17039554
are you stupid or are you just pretending to be stupid? the claim is that Turing machines can run every algorithm possible, I showed you an algorithm quantum computers can run and classical computers can't, and you're talking about doing the same calculation with a different algorithm?
yeah, I can factorize numbers by asking the guy who multiplied them what the answer is too, that doesn't make me a quantum computer
>>
>>17039467
>migger
What does Drumpf have to do with this
>>
>>17039591
>the claim is that Turing machines can run every algorithm possible
that's not the Church-Turing hypothesis anon, the hypothesis is that Turing machines can run an algorithm that computes the same thing as any algorithm
>>
>>17039591
>>17039601
in this instance (Shor's algorithm), obviously a turing machine can do the same thing (factor a number). Runtime / computational complexity has nothing to do with it.
>>
>>17039377
>>Quantum computers can do calculations that classical computers can't
Wrong, retard.
Quantum computers are not doing calculations classical computers can't do.
They are just doing it asymptotically faster than known algorithms but have no formal proof that we can't design classical algorithms that are just as efficient as quantum algorithms.
>>
To add something others haven't yet: when people say "quantum computers can" they mean "quantum computers with N qbits and full entanglement". We don't have those. The number of particle pairs that require entangling is [math] \mathcal{O}(N^2) [/math], and every current architecture can at most manage [math] \mathcal{O}(N) [/math] of those. It is basically impossible to build an ideal quantum computer for N>4 in 3D (tetrahedral arrangement) for geometry reasons.



[Advertise on 4chan]

Delete Post: [File Only] Style:
[Disable Mobile View / Use Desktop Site]

[Enable Mobile View / Use Mobile Site]

All trademarks and copyrights on this page are owned by their respective parties. Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.