否定の証明1

ある事象が発生しないと証明することは非常に難しい。

否定の証明には、どこかに前提・想定をおき、複雑な論理の中で設定した前提からある事象が起きないと結論付ける。

ある事象が生じうる肯定の証明は、実証例をひとつ見つけることで可能である。

否定の証明には、おそらく通常の工学より少なくとも１段高い技術を要求される。おそらく数学の世界でも同じだろう。5次方程式の一般解が存在しないことの証明は、新たな数学の分野を築いた。

前提付であるが、否定の証明を技術者として過去2回経験している。とても難しかった。そして、その前提は今でも崩れていないが、将来に亘って出来ないと断定はまだできない。前提が崩れれば、簡単にその証明力は無くなる。

ものつくりの現場において、なぜ出来ないのだ？と発言するする人の意見は破壊的ですらある。その問いに答える能力があれば、すくなくとも、現状よりましなものが作れるからである。

ベテランの計装エンジニアから、「漏れないプラントはない」との言葉を聴いたことがある。重い言葉だった。

寿命期間中、壊れないものつくりを心がけてそれなりにより良いものは作れたと自負しているが、それでも装置を保守してくれる人に依存していた部分は大きい。

そして、信頼性の高い装置ほど、保守のトレーニングを実践する機会が少なくなるので、いざというときに対応できる技量を持つ保守要員が育たない。矛盾である。

『人気blogランキング』の「自然科学」部門に参加しています。今日も貴重な１票をよろしくお願いします。【押す】