«I, robot» av Isaac Asimov

Jeg har nylig lest boken «I, robot» av Isaac Asimov. Den har ligget over et år i bokhyllen, men det var først nylig den slapp ut. Jeg trengte noe å lese i juleferien, og jeg ga – nesten for første gang – en science fiction-bok sjansen. Heldigvis kan jeg nå varmt anbefale boken. Fortsett å lese ««I, robot» av Isaac Asimov»

«Mathematics – Form and Function» av Saunders Mac Lane

I have just finished reading «Mathematics – form and function» by Saunders Mac Lane. The main goal of the book is to present the author’s philosophy of mathematics, answering the question «what is mathematics?». In doing so, he also answers the question «is mathematics true?» and demonstrates that it is a non-question. He presents mathematics as a set of tightly intervowen formal rules, wherein deduction is only allowed following the «rules of deduction». Fortsett å lese ««Mathematics – Form and Function» av Saunders Mac Lane»