Threads by latest replies - Page 277

(5 replies)
(5 replies)
No.14355311 ViewReplyOriginalReport
Do we agree with W. Tait's thesis that finitistic reasoning = PRA?
https://www.jstor.org/stable/2026089?seq=1
>and the finitist has no concept of a function. He can only see each particular instance as valid. Indeed, if it were otherwise, the function that assigns to the Godel number of each closed term of type N the value of that term and assigns 0 to each number that is not the Godel number of such a term would be finitist. Since this function is not primitive recursive, our thesis would be contradicted.
As a finitist, it seems to me perfectly possible to speak of functions as methods for taking an object of type A and producing an object of type B. Why would this not be finitist?
(22 replies)

How many exercises should I do before going to a new subject?

No.14351797 ViewReplyOriginalReport
While reading math books?
17 posts and 4 images omitted
(10 replies)
No.14355471 ViewReplyOriginalReport
Is it sustainable?
5 posts and 2 images omitted
(8 replies)
No.14355547 ViewReplyOriginalReport
What are the implications of Quantum Randomness being truly random?

Doesn't that mean we have concrete proof that science can't understand everything? Science has no conceivable way to ever predict a quantum random outcome... therefore... it is solid proof that this universe exists in a way that is beyond scientific grasp... science can never truly understand our world.

It's not sufficient that you can predict the "odds" or likelihood of quantum random scenarios, the issue is that the precise outcomes are not deterministic, which means that there are real phenomena that are beyond scientific reach.
3 posts omitted
(21 replies)
No.14353470 ViewReplyOriginalReport
China is carrying the entire nuclear industry. They are also the only ones that are putting any serious money into Gen 4 nuclear concepts
16 posts and 1 image omitted
(37 replies)
No.14352750 ViewReplyOriginalReport
why does excess consumption of material products produce such a degeneration in culture? despite this increase in informational stimulation
32 posts and 10 images omitted
(33 replies)
No.14351526 ViewReplyOriginalReport
do you think calculus is a scam?
>dood let's pretend 0.00000001 = 0
28 posts and 2 images omitted
(5 replies)
No.14353892 ViewReplyOriginalReport
Give some good IQ tests (with links preferably)
(11 replies)

Why do planets orbit the sun and not just fall directly into it in a straight trajectory?

No.14354335 ViewReplyOriginalReport
Also why do most planets in our solar system spin except for Venus and Uranus
6 posts omitted