Category Archives: Logic

Class-metric

Posted on August 24, 2011 by Vadim Kulikov

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 →

Posted in Combinatorics, Logic, Mathematics, Ramsey Theory, Set Theory, Topology, Wednesday Problem | Leave a comment

Douglas Hofstadter: I Am a Strange Loop.

Posted on August 15, 2011 by Vadim Kulikov

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

Posted on October 16, 2010 by Vadim Kulikov

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 →

Posted in Combinatorics, Geometry, Logic, Mathematics, Topology | Leave a comment

Uncountable Borel Sets

Posted on July 10, 2010 by Vadim Kulikov

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 →

Posted in Logic, Mathematics, Set Theory | Leave a comment

Jouko Väänänen’s Birthday Meeting

Posted on May 6, 2010 by Vadim Kulikov

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 →

Posted in Education, Logic, Meta | Leave a comment

How Many Are True?

Posted on March 10, 2010 by Vadim Kulikov

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

Posted on February 26, 2010 by Vadim Kulikov

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

Posted on February 19, 2010 by Vadim Kulikov

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

Posted on January 25, 2010 by Vadim Kulikov

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