a thoughtful web.
commentspostsbadges
Good ideas and conversation. No ads, no tracking.   Login or Take a Tour!
On provability and the size of the universe
On provability and the size of the universe  ·  0
YetAnotherAccount  ·  3972 days ago
text  ·  #randomtidbits  ·  #randomtidbits.YetAnotherAccount

If the most compact proof for something takes more than ~10^123 bits, or the fastest proof for it takes more than ~10^120 elementary steps, it can never be proven (well, in our universe at least).

tweet  ·  print  ·  html
basic link:
<a href="https://hubski.com//pub/169678">Discuss this on Hubski.</a>
new tab link:
<a onclick="_blank" href="javascript:L3f7=window.open('https://hubski.com//pub/169678');">Discuss this on Hubski.</a>
markup tips  ·  0

Text surrounded by asterisks (*) is italicized.

Text surrounded by plus signs (+) is bolded.

Text surrounded by vertical bars (|) is quoted. If you double-click a paragraph, it will be quoted.

Text surrounded by tildes (~) is blocked out.

Symbols such as *, +, |, and ~ can be used literally by placed a \ in front of the text.

A user's name surrounded by at signs (@) links to their profile, and the user is notified that you mentioned them.

A word surrounded by hash signs (#) becomes a tag and links to posts with that tag.

Text after a blank line that is indented by two or more spaces is reproduced verbatim in a different font.

URLs become links. However, new users cannot post links in comments.

Hubski URLS become embedded cards, displaying information about the post or comment.

Text can link to URLs by using the following format: [linked text](http://theurl.com)

Youtube, Vimeo, Soundcloud, Twitter, and Spotify urls will embed the content automatically.

Image URLs (.png, .tif, .gif, and .jpg) will embed automatically.



about
tutorial
faq
rss
tmi
random
privacy & terms
weather
donate
login