Hacker News new | ask | show | jobs
by RockyMcNuts 4736 days ago
mostly kidding. but presumably the theorems about non-computable numbers are computable and therefore you're still working with computable things?