POTOOOOOOOO@reddthat.com to

Asklemmy@lemmy.mlEnglish · 12 hours ago

What's your favorite unbelievable fact?

76

What's your favorite unbelievable fact?

POTOOOOOOOO@reddthat.com to

Asklemmy@lemmy.mlEnglish · 12 hours ago

Chat

Collatz_problem [comrade/them]@hexbear.net
link
fedilink
English
arrow-up
4·
5 hours 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: [email protected]

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
[email protected]: a community for finding communities

_Icon _by _{@[email protected]}

Visibility: Public

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

2.3K users / day
4.61K users / week
8.61K users / month
20.8K users / 6 months
1 local subscriber
44.4K subscribers
5.25K Posts
280K Comments
Modlog