Возможно ли доказать теорему о 4-х красках при помощи компью

[Aleksand]

arseniiv-у:
Там я не понял Вас. Вы имели ввиду альтернативные программы. Да и всё равно, нужно доказать правильность самой компьютерной программы (а не так, что, мол эта программа, вроде бы правильней переберает варианты чем предидущая). Но даже если такая программа и будет, то что ей считать? Да считать-то и не надо, я Вам на слово поверю. Но считать-то нельзя до бесконечности. Нужно или найти какую-нибудь закономерность, или доказать конечность вариантов. То есть компьютер здесь не понадобится.

[arseniiv]

(Оффтоп)

Я имел в виду не программы, а то что вы написали что-то вида «лампочка либо горит, либо не горит, либо нерабочая». Это неверно, т. к. второе и третье утверждение могут быть одновременно истинны — в этом и том случае даже сильнее — когда третье истинно, второе всегда истинно тоже.