megas_archon ha scritto:Con pianto e stridore di denti, di solito.Come si fa una dimostrazione di non esistenza della soluzione?
Ecco, questa mi sembra una risposta soddisfacente, ed è quella che in fondo mi aspettavo.
E soddisfa il mio senso metafisico.
Anche filosoficamente, mentre una dimostrazione che una cosa esiste può essere più intuibile (basta prendere un oggetto come esempio) una dimostrazione di non esistenza appare come più inquietante (a prescindere dai casi in cui dà luogo a contraddizioni logiche). Potrai enumerare milioni e miliardi di cose che non sono quella, ma nulla vieta che da qualche parte esista una che non hai enumerato.
Ma qui andiamo sul pippone filosofico, quindi lasciamo perdere.