[ 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.15208004 [View]
File: 154 KB, 805x556, carl_not_amused.jpg [View same] [iqdb] [saucenao] [google]
15208004

>>15207366
Provability is purely an arithmetical notion. It's even been formalized in Theorem Provers like Coq.

>> No.14829337 [View]
File: 154 KB, 805x556, carl_not_amused.jpg [View same] [iqdb] [saucenao] [google]
14829337

>No progress in Quantum Computers
>No Progress in Fusion Energy
>No Progress in Dark Matter detection
>No Progress in Foundational physics
>No progress in cancer research
>No progress in Alzheimer's research
>No progress in Aerospace engineering


Are humans getting dumber? What's going on

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