/sci/ - Science & Math

>>4901908
>acquire motorial skills used for attempts at physical expressions of temporary and banal feelings of one person, disregard understanding of the reality, acquire food stamps.

>>4733125

Due to the results of Kantrowitz, we know that the set of all possible words of a finite alphabet is countable. Consider our set to be the common mathematical symbols, english letters, numbers 0-9, and standard punctuation. This is a finite alphabet. Suppose we use this alphabet to describe all the numbers we can. This must be a countable set. (algebraic, computable numbers, some non-computable ones like Chaitin's constant, etc)

Assume that the reals are uncountable. Then there is an uncountably large set of numbers which we cannot describe with our alphabet. This set can be well-ordered, in which case there is a first such element of the set. But we just described this number. Contradiction. Therefore the uncountable reals don't exist.

>>4234376
Did you mean "five and twenty and one hundred?"

>>4220774
> can a computer prove a theorem?
> sure it can, but that doesn't count cuz I say so

>>3960597
You do realize you are incapable of understanding sarcasm, right?

>>3955524
Confirmed for strawman.

>>3934022
> thinks the study of information is trivially separable from programming