|
|
|
|
|
|
by thaumasiotes
58 days ago
|
|
|
> Excluded-middle `true` means "[provable] OR [impossible to disprove]". > Intuitionist/Constructivist `true` means, "provable". This is completely wrong. Excluded-middle `true` means "provable" and only "provable". "Impossible to disprove" is `independent`, not `true`. |
|
|