| ▲ | grey-area 8 days ago | |
In a very real sense it doesn’t even know that it doesn’t know. | ||
| ▲ | eru 8 days ago | parent [-] | |
Maybe. But in math you can either produce the proof (with each step checkable) or you can't. | ||
| ▲ | grey-area 8 days ago | |
In a very real sense it doesn’t even know that it doesn’t know. | ||
| ▲ | eru 8 days ago | parent [-] | |
Maybe. But in math you can either produce the proof (with each step checkable) or you can't. | ||