Формализовал рассуждение о том, кипит ли вода в макаронине

[zaharov]

Недавно формализовал рассуждение о том, кипит ли вода в макаронине.
Удивился, как просто такое такой способ решения задач. Жаль, что наши физики шарахаются от мат. логики. Они даже не знают, что такое модус поненс.

[Circiter]

2zaharov

Цитата:

Недавно формализовал рассуждение о том, кипит ли вода в макаронине.

А почему не выкладываете, ни текстом, ни ссылкой? И зачем, кстати, формализовали? :) Она же кипит, это и так понятно...

Цитата:

Они даже не знают, что такое модус поненс

Знают, а как же иначе.

P.S.: Аж прослезился, чего только на dxdy не бывает... :)

[arseniiv]

zaharov, а что такое модус поненс? Я знаю только modus ponens.

[Circiter]

2arseniiv
Да ладно вам... Вон сколько анатомических латинизмов, которые свободно записываются кириллицей. С мертвым языком можно делать все-что вздумается.

[whiterussian]

Тема перенесена в Карантин до должного оформления.