What is an example of Godel's Incompleteness Theorem in practice? - Quora
"every so often someone will start to question why we need programmers, at least for finding bugs in a program (probably about 90% of "coding" is spent on trying to find bugs), so they try to build an automated bug checker to catch all mistakes that ever existed. But some mistakes will cause infinite loops, and it is impossible to catch all of these in any [Turing complete] programming language. It's nice to know that, as a software engineer, the future of your profession is guaranteed by a mathematical theorem."
godel  incompleteness  programming 
4 days ago
« earlier      
activerecord advice agile ajax amd android apache api apiwrapper arch archlinux arel assets associations audio aur authentication aws backbone-relational backbone.js bash bdd bestpractices blog book books bootstrap bower browser bug bundler business caching capistrano capybara capybara-webkit cgroups class clojure cloud code coffeescript commandline config configuration console cookpad css css3 cucumber data database debugging dell dependencies deploy deployment design development devise display displaylink displayport docker dotfiles ecommerce editor elixir email encoding encryption erlang events factorygirl fastmail ffmpeg firefox fog font form forms framework garbage gem gems gist git github gitolite globalize globalvoices gmail gnome gnupg godel google gpg graphics grub hackernews haml hardware heroku history hosting hstore html html5 http httparty i18n i3 i3bar i3blocks i3wm icons imap input install intel interview introduction irc jam japan japanese jasmine javascript journalism jquery jquery-ui json jsonb kernel keyboard language laptop less linode linux lisp lubuntu luks lvm mail map mapping maps matchers mathematics mbsync memory metaprogramming microg mobile mocking modal models module modules music mutt mvc mysql namespaces network nginx notmuch nvidia offlineimap omniauth oop openssl openstreetmap osx packaging partials passenger password performance permissions phone photos pinboard pinterest plugin postgres powersaving presentation printer product programming python rack rails rbenv react recycling reddit reference remote rendering replication require.js requirejs rest routing rspec ruby rubygems s3 sass scheme screenshot search security selenium sequel server setup shell sim sinatra sinon smime software spree sprockets sql ssh ssl stackoverflow startup storage systemd talktalk tdd templates templating terminal testing thinkpad thoughtbot tips tmux tokyo tools translation travis travisci tutorial twitter ubuntu ui unix urxvt usb validation vi video views vim vps web webdesign weechat wifi window workspaces wrapper writing xorg youtube zsh 日本語

Copy this bookmark: