a
  • about
  • blog
  • register
  • login

  • 🇳🇴 Nodic (english) Standards 🇵🇱 Polish Español France 🇫🇷 中文 (Chinese Simplified) Türkçe
  • xcombelle
  • date joined
    Jan. 30, 2016

Following (0)

Followers (0)

  • 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.

arguman is an open-source project.

Terms of Service | Feedback