fossilesque@mander.xyzM to

Science Memes@mander.xyzEnglish · 2 months ago

Theories on Theories

2

Theories on Theories

fossilesque@mander.xyzM to

Science Memes@mander.xyzEnglish · 2 months ago

Chat

pfried@reddthat.com
link
fedilink
English
arrow-up
0·
2 months ago
And we determined that the resulting incompleteness proofs are valid mathematical proofs whose logical correctness has been verified by computer. https://formalizedformallogic.github.io/Catalogue/Arithmetic/G___del___s-First-Incompleteness-Theorem/#goedel-1

Science Memes@mander.xyz

science_memes@mander.xyz

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: [email protected]

Welcome to c/science_memes @ Mander.xyz!

A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.

Rules

Don’t throw mud. Behave like an intellectual and remember the human.
Keep it rooted (on topic).
No spam.
Infographics welcome, get schooled.

This is a science community. We use the Dawkins definition of meme.

Research Committee

[email protected]

Other Mander Communities

Science and Research

Biology and Life Sciences

Physical Sciences

Humanities and Social Sciences

Practical and Applied Sciences

Memes

Miscellaneous

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

1.23K users / day
4.66K users / week
9.47K users / month
12K users / 6 months
1 local subscriber
20.5K subscribers
1.55K Posts
21.8K Comments
Modlog