a
about
blog
register
login
🇳🇴 Nodic (english)
Standards
🇵🇱 Polish
Español
France 🇫🇷
中文 (Chinese Simplified)
Türkçe
Overview
Premises
Arguments
Fallacy Reports
Most active channels
Economy
Politics
Programming
Society
Science
Religion
Most discussed users
freyr
richardinho
djjano
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.