Category Archives: Logic

Class-metric

In two weeks I start lecturing Topology I at our University. I am excited. This course was my favourite among the basic undergraduate courses. The course concentrates on metric topology and its goal is to prove simple results about complete … Continue reading

Douglas Hofstadter: I Am a Strange Loop.

Two weeks ago I finished reading Douglas Hofstadter‘s 2007-book I Am a Strange Loop. I haven’t read other Hofstadter’s books and I want to write this review before I read any. My next Hofstadter-book is going to be Gödel Escher … Continue reading

Posted in Book & Article Reviews, Logic, Philosophy, Popular | 2 Comments

Map Colouring Problem And Compactness

Suppose G is a planar graph embedded into the plane. The graph divides the plane into regions. Let us say that two regions are adjoint if they have a common edge. Question: (Q) Is it possible to colour the regions … Continue reading

Uncountable Borel Sets

Here I promised post some tough stuff. Well, I meant some fruits of our recent research by Hyttinen, Friedman and I. I will not go into the subject here, just post a link to the forthcoming paper. There is an … Continue reading

Jouko Väänänen’s Birthday Meeting

Let me advertise the meeting (in September 2010) whose web page I am maintaining: http://www.helsinki.fi/~kulikov/jouko/ All logicians, are most welcome to the meeting! Other people are also welcome! :-P There will be two tutorials before the conference: by Andres Villaveces … Continue reading

How Many Are True?

Please comment your solutions, questions and remarks.. At most 1 statement of this post is true. At most 2 statements of this post are true. At most 3 statements of this post are true. At most 4 statements of this … Continue reading

Posted in Logic, Mathematics, Recreation, Wednesday Problem | 1 Comment

Sorry I Am Late

Please comment your solutions, questions and remarks.. How many of the statements below the line are true? 2/5 ———— This post was not published on Wednesday 24. February 2010 There are at least 2 true statements in this post (after … Continue reading

Posted in Logic, Recreation, Wednesday Problem | 3 Comments

Pinocchio Is Omnipotent

Please visit my new website at www.vadimkulikov.org to find more about mathematics, science, cognitive science and art!

Posted in Logic, Mathematics, Philosophy, Recreation | 15 Comments

TopoLogic

The Continuum Hypothesis trilogy will continue later. Today I’ll recall some discussion I made a year ago or so in the student seminar. I guess someone would say that it is surprising, how closely related these two branches of mathematics … Continue reading

Posted in Logic, Mathematics, Topology | 2 Comments