POTOOOOOOOO@reddthat.com to

Asklemmy@lemmy.mlEnglish · 11 days ago

What's your favorite unbelievable fact?

1

What's your favorite unbelievable fact?

POTOOOOOOOO@reddthat.com to

Asklemmy@lemmy.mlEnglish · 11 days ago

Chat

Collatz_problem [comrade/them]@hexbear.net
link
fedilink
English
arrow-up
0·
11 days ago
Consistency of an axiomatic system that contains arithmetic can be proven in this system if and only if it is inconsistent.

Asklemmy@lemmy.ml

asklemmy@lemmy.ml

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: !asklemmy@lemmy.ml

A loosely moderated place to ask open-ended questions

Search asklemmy 🔍

If your post meets the following criteria, it’s welcome here!

Open-ended question
Not offensive: at this point, we do not have the bandwidth to moderate overtly political discussions. Assume best intent and be excellent to each other.
Not regarding using or support for Lemmy: context, see the list of support communities and tools for finding communities below
Not ad nauseam inducing: please make sure it is a question that would be new to most members
An actual topic of discussion

Looking for support?

Looking for a community?

Lemmyverse: community search
sub.rehab: maps old subreddits to fediverse options, marks official as such
!lemmy411@lemmy.ca: a community for finding communities

_Icon _by _{@Double_A@discuss.tchncs.de}

Visibility: Public

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

863 users / day
2.03K users / week
2.52K users / month
2.59K users / 6 months
1 local subscriber
44.6K subscribers
227 Posts
3.96K Comments
Modlog