/sci/ - Science & Math » Thread #11558572

404KiB, 1071x494, 01.png

View Same Google iqdb SauceNAO

Anonymous Sun 12 Apr 20:00:33 2020 No.11558572 View Reply Original Report

Quoted By: >>11558622 >>11558903

is there a proof for the existence of a surjection from the set of reals to the set of all {0, 1} sequences?

Anonymous

Anonymous Sun 12 Apr 2020 20:21:38 No.11558622 Report

Quoted By: >>11558625

>>11558572
Yes.

Anonymous

Anonymous Sun 12 Apr 2020 20:22:33 No.11558625 Report

Quoted By: >>11558659

>>11558622
where

Anonymous

Anonymous Sun 12 Apr 2020 20:36:41 No.11558659 Report

Quoted By:

>>11558625
Each sequence of 0s and 1s can be considered a function from IN -> {0,1}. So the set of all such functions has cardinality 2^\aleph_0 = |IR|.

Anonymous

Anonymous Sun 12 Apr 2020 20:37:17 No.11558661 Report

Quoted By: >>11558798 >>11558805 >>11558922

https://en.wikipedia.org/wiki/Cantor%27s_diagonal_argument

Look for the "Construction of a bijection between T and R" heading.

Anonymous

Anonymous Sun 12 Apr 2020 21:25:27 No.11558798 Report

Quoted By: >>11558807

>>11558661
i don't feel like reading that part post the first sentence. sum it up for me in a better way here.

Anonymous

View Same Google iqdb SauceNAO bijectionTR.png, 181KiB, 1554x741

Anonymous Sun 12 Apr 2020 21:26:55 No.11558805 Report

Quoted By: >>11558921

>>11558661
i don't feel like reading this shit past the first sentence. sum it for me in a better way.

Anonymous

Anonymous Sun 12 Apr 2020 21:27:07 No.11558807 Report

Quoted By: >>11558811

>>11558798
>do all the work for me
lol no, read it yourself

Anonymous

Anonymous Sun 12 Apr 2020 21:27:56 No.11558811 Report

Quoted By:

>>11558807
no. you do it for me.

Anonymous

Anonymous Sun 12 Apr 2020 22:02:27 No.11558903 Report

Quoted By: >>11558921

>>11558572
Irational number that is operand of operation with another irational or rational numbers produces another irational numbers, and there is more there in there than points to actual rational circle.

Anonymous

View Same Google iqdb SauceNAO irrationalrational.png, 118KiB, 1568x908

Anonymous Sun 12 Apr 2020 22:13:31 No.11558921 Report

Quoted By:

>>11558903
>Irational number that is operand of operation with another irational or rational numbers produces another irational numbers
look at pic related. just look.
anyho someone translate that to me to 4chan lungo
>>11558805

Anonymous

Anonymous Sun 12 Apr 2020 22:14:14 No.11558922 Report

Quoted By: >>11559462 >>11559464

>>11558661
Yikes. Imagine believing that rubbish.

Anonymous

Anonymous Mon 13 Apr 2020 01:37:34 No.11559462 Report

Quoted By:

>>11558922
Prove it wrong then
If you can, you'll win a fields medal for sure, and people will pay millions for you to work for them, since the diagonal argument is used in turings halting problem proof.

Anonymous

Anonymous Mon 13 Apr 2020 01:37:57 No.11559464 Report

Quoted By:

>>11558922
Point out the error.

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