Most active channels

Most discussed users

Most supported premises

Bug-free software is possible

Even the formal verified programs are without bug as long as the specification is complete, and specification is hard if possible to be complete
1 supporter.

Bug-free software is possible

The halting problem only concern arbitrary program, it doesn't show anything about the interesting to have program.
1 supporter.