/sci/ - Science & Math » Thread #14230246

574KiB, 1613x889, 86712A0C-E80A-4118-B0EE-BD5469E3C83C.jpg

View Same Google iqdb SauceNAO

Anonymous Tue 15 Feb 00:44:53 2022 No.14230246 View Reply Original Report

Quoted By: >>14230249 >>14230533

there is no formal, mathematically rigorous definition of “algorithm”. how do I cope with this?

Anonymous

Anonymous Tue 15 Feb 2022 00:45:59 No.14230249 Report

Quoted By:

>>14230246
Inject marijuana

Anonymous

Anonymous Tue 15 Feb 2022 01:17:17 No.14230333 Report

Quoted By: >>14230712 >>14231779

Yes there is. The Turing machine definition is considered standard.

Anonymous

Anonymous Tue 15 Feb 2022 02:29:26 No.14230533 Report

Quoted By:

>>14230246
Source?

Anonymous

View Same Google iqdb SauceNAO scott locklin.png, 90KiB, 911x424

Anonymous Tue 15 Feb 2022 03:10:41 No.14230622 Report

Quoted By: >>14230670 >>14230693 >>14231857

is he right bros?

Anonymous

Anonymous Tue 15 Feb 2022 03:28:00 No.14230670 Report

Quoted By:

>>14230622
come up with another computing model that is not reducible to turing machines
oh wait you cant

Anonymous

Anonymous Tue 15 Feb 2022 03:37:25 No.14230693 Report

Quoted By:

>>14230622
Not in the slightest.

Anonymous

Anonymous Tue 15 Feb 2022 03:40:19 No.14230705 Report

Quoted By: >>14230736

take the constructive mathematics pill

Anonymous

Anonymous Tue 15 Feb 2022 03:44:05 No.14230712 Report

Quoted By: >>14231779

>>14230333
Checked
OP do a basic google search next time

Anonymous

Anonymous Tue 15 Feb 2022 03:52:44 No.14230736 Report

Quoted By:

>>14230705
Constructive mathematics pill me anon. What is it, and why should I take it seriously?

Anonymous

Anonymous Tue 15 Feb 2022 15:08:25 No.14231779 Report

Quoted By:

>>14230333
>>14230712
Oof, looks like you need to do your own research. A Turing machine is NOT a definition for an algorithm.
https://en.m.wikipedia.org/wiki/Algorithm_characterizations

Anonymous

Anonymous Tue 15 Feb 2022 15:39:32 No.14231857 Report

Quoted By:

>>14230622
Moravec paradox is probably a result of humans being just about smart enough to do abstract reasoning. If we were some superintelligent species, what we classify as "high level reasoning" would probably be computationally heavy.

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First

Your latest searches