/sci/ - Science & Math » Thread #13719678

159KiB, 997x575, log.png

View Same Google iqdb SauceNAO

Anonymous Tue 05 Oct 20:45:29 2021 No.13719678 View Reply Original Report

Quoted By: >>13719793

Has lambda calculus basically solved the problem of unifying logic with mathematics?

Anonymous

Anonymous Tue 05 Oct 2021 20:48:29 No.13719684 Report

Quoted By: >>13719742

>blocks your way

Anonymous

Anonymous Tue 05 Oct 2021 21:10:03 No.13719742 Report

Quoted By: >>13719763

Anonymous

Anonymous Tue 05 Oct 2021 21:17:34 No.13719763 Report

Quoted By:

>>13719742
No, anon, I don't mean it's unreadable... I mean it's logically inconsistent.

Anonymous

Anonymous Tue 05 Oct 2021 21:28:50 No.13719793 Report

Quoted By:

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