[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.9985072 [View]
File: 82 KB, 900x750, bernhard-riemann-biography-3.jpg [View same] [iqdb] [saucenao] [google]
9985072

>>9984102
We had this thread before, so please read the answer, understand it, then stop posting old shit topics.

Answer:
>"Mathematics" is a formal system in which all deductions are ultimately founded on a set of Axioms
>For example, euclidian geometry is a formal system which is characterized of euclid's 5 postulates
>Axioms are presupposed, not deduced. This is a fundamental property of axiomatic/formal systems
>The first axiomatic systems we formulated (like the example above) were usually formulated in terms of experience
>For example, one could establish the natural numbers by assigning specific quantities of objects a certain number
>However, this does not mean Axioms are discovered, it means that their validity was initially presupposed for the pragmatism of their use
>You cannot "prove" or "disprove" an Axiom, you can only show it to be logically inconsistent within the set of Axioms it is supposed in
>In this regard, the foundations on which mathematics is established is fully invented
>However, this is not the full story, as we have yet to consider the theorems which result from these axioms
>For instance, one would not immediately guess from looking at ZFC that Fermat's Last Theorem is correct and deducible from ZFC
>This is because intuition does not always align with the facts
>When a fact is deduced independent (or contrary) of the assumptions (or reasoning) that intuition provided, it is discovered
>In this regard, "Theorems" are necessarily discovered
To summarize: Axioms are invented, the Theorems which result from these axioms are discovered. There is also a footnote to be mentioned, which is that this interpretation is strictly formalist, and rejects the ideas of logicism, as it is not necessary to establish that an axiomatic system need be deduced from basic logic, but instead that the axioms or (arbitrarily or pragmatically) presupposed. Also platonism is retarded

>> No.9758365 [View]
File: 82 KB, 900x750, bernhard-riemann-biography-3.jpg [View same] [iqdb] [saucenao] [google]
9758365

>>9758362
>Wasn't there another proof submitted like 2 days ago?
This is "almost all of the zeros", not "all zeros", so it doesn't imply the Riemann hypothesis..

>> No.8945577 [View]
File: 82 KB, 900x750, riemann.jpg [View same] [iqdb] [saucenao] [google]
8945577

Just how much weed was this nigga on when pic related was taken?

>> No.8495287 [View]
File: 82 KB, 900x750, bernhard-riemann-biography-3.jpg [View same] [iqdb] [saucenao] [google]
8495287

How much does this man really contributed to math history?

Navigation
View posts[+24][+48][+96]