/sci/ - Science & Math » Thread #13567249

25KiB, 515x398, 01_Introduction.022.gif

View Same Google iqdb SauceNAO

Anonymous Fri 27 Aug 05:54:48 2021 No.13567249 View Reply Original Report

Quoted By: >>13567262 >>13567833 >>13568450

What branch of mathematics involves the study of formal systems alone?

Anonymous

Anonymous Fri 27 Aug 2021 05:59:14 No.13567262 Report

Quoted By:

>>13567249
Metalogic

Anonymous

Anonymous Fri 27 Aug 2021 06:01:09 No.13567269 Report

Quoted By:

formal systems mathematics

Anonymous

Anonymous Fri 27 Aug 2021 06:18:28 No.13567321 Report

Quoted By:

Did the word "germ" come from Germany?

Anonymous

Anonymous Fri 27 Aug 2021 10:45:19 No.13567833 Report

Quoted By:

>>13567249
anything in the foundations of mathematics
particularly logic, proof theory and model theory

Anonymous

Anonymous Fri 27 Aug 2021 15:24:29 No.13568450 Report

Quoted By:

>>13567249
If you assume a formalist philosophy of math, then all of mathematics.

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