Shodokan Dojo, aikido in Ljubljana. Become an Objectivist in ten easy steps. Uvod v programiranje v javi. Računamo, rišemo in programiramo z Mathematico. Fakulteta za matematiko in fiziko.

philosophy, revolutionary socialism, mathematics, technology, dance music. Ideology, the unconscious and dialectics. 7 points about a practical political science.

Reimagining the Suburban Yard to Reverse Pollinator and Insect Decline. A Possible Pollinator Solution and Other Things I Learned from My Nature Yard. I wanted to share some things that I learned from growing native plants in my yard. This will be about what I learned about nature and some discoveries about how we might rethink the idea of the suburban yard from an alternate land management perspective. Aggressive Native Plants Will Own Your Yard. Bees Are Not the Only Pollinators.

Thursday, May 17, 2012. On June 7th and 8th, at the JVE in Maastricht, the Netherlands, the third Form and Formalism. Conference will be taking place, under the title Formalisation and Dialectics.

A modular formalization of type theory in Coq. Here are the slides for the talk I just gave at TYPES 2017. It is joint work with Philipp Haselwarter. The abstract for the talk is available online. TYPES 2017 A modular formalization of type theory in Coq.

Henosophia TOPOSOPHIA μαθεσις uni ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια. In Xanadu did Kubla Khan a stately pleasure-dome decree where Alph the sacred river ran through caverns measureless to man down to a sunless sea. A uni versal characterization of the closed euclidean interval.

Помимо чисто математической работы Владимир серьезно интересовался историей и философией своей дисциплины. Его философские взгляды на основания математики значительно отличались от современного мэйнстрима, и Владимир не делал систематических попыток их защищать за пределами математического сообщества.

Thursday, March 20, 2014. So long, and thanks for all the fish. This is the last Rationally Speaking post, folks! It has been a long and fascinating ride.