logoalt Hacker News

criddellyesterday at 9:15 PM2 repliesview on HN

For now. I wonder if we will ever get to the point where the computer starts doing mathematics that we just can't understand. Surely there must be some limit to what we can understand (like how a gorilla will never understand prime numbers, there are probably limits to our intelligence as well).


Replies

inigyoutoday at 12:10 PM

https://mathstodon.xyz/@logicbot

This bot posts a tautology (always true statement) every day. They aren't very useful. Sampling from all true mathematics is like sampling from all instruction sequences that don't crash. The important part of computer programming isn't finding valid instruction sequences, it's finding the useful ones that do what the customer wants.

zeroonetwothreeyesterday at 9:19 PM

Mathematics only really matters insofar as humans can understand it.

show 3 replies