Tags » Computability

Knowledge and Total Functions

In the article SKETCH OF A PROOF: COMPUTABLE TOTAL FUNCTIONS ARE NOT ENUMERABLE I have used the notion of “total functions”. What is so special about “total functions”? 752 more words

Philosophy

Church and Turing


Alonzo Church (left) and Alan Turing (right)

Alan Turing is no doubt the most well-known of all computer scientists. His Turing machine is justly famous, and the video below shows a really cool… 560 more words

History

Turn your brain into supermassive black hole

Hi,
here it comes here it goes! Today I am writing probably the last post from Brazil since I am leaving in Tuesday. Maybe tommorow after seeing Christ in Rio, I will be able to write another one. 494 more words

Science

Inside Computability and Logic

Philosophy is a logical interpretation of ethical values. It’s an interconnection of ethical and logic, combining ethical values with logic or we have a tendency to will say that philosophy may be a logical conclusion of moral values. 355 more words