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

## Tags » Computability

#### 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

#### 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

#### 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