News for hackers. Stuff that matters.

A comment on Why isn't there a replication crisis in math?. Parent comment

Re:Why isn't there a replication crisis in math? by freemint on Wednesday February 02, 2022 @06:39PM (#30185933)
> It's either "computer says yes" or "compu'er says noooo".

Sadly not sometimes it is just:

computer says

[ Parent | on HN ]
Re:Why isn't there a replication crisis in math? by morelisp on Thursday February 03, 2022 @02:59AM (#30189882)
Or "computer says x but you don't trust the hardware/software".

Or "computer says x but you don't agree the mathematical concept was correctly formalized into the proof engine language".

[ Parent | on HN ]