俺としてはOSの仕組みもよく理解しておきたい。
Linuxを使うとよく分かるというが本当かにぇ。
とりあえずOSの本を流し読みたいところ。

>>197
チューリングマシンで命題を証明できるからと言って、
命題の証明全てがそれに依存するわけではない、
ということを言いたかったのだが。