#### Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Options

# Introduction: Anindya Bhattacharyya

Hi, everyone calls me Bat for short. I'm @bat020 on the internet. I studied pure maths for my undergraduate degree in the early 1990s, specialising in logic and set theory. I then spent 20 years as a journalist before quitting that career to become a software developer. Throughout that time I've kept up an amateur interest in maths, especially category theory. I'm also interested in philosophy, especially the "mathematical ontology" put forward by Alain Badiou – here's an article I wrote for a book of essays on his work published a few years ago: https://bat020.com/2014/03/26/sets-categories-and-topoi-approaches-to-ontology-in-badious-later-work/

• Options
1.

Comment Source:I learned a little bit about Badiou at some political meeting I went to and googled him--one of those French political philosophers but into mathematical logic. One of his books was discussed on the FOM-list (foundations of math , i think run by M Davis of NYU and Hilbert's 10th problem). They discussion said it appeared Badiou did basically know his math logic, though they didnt discuss its relation to political philosophy. I once met someone at a music club ---a grad student studying Lawvere's papers on category theory--he gave me one which i tried to read but didn't get far---Lawvere may have had similar politics. I'm going to try to read your paper. (Reading philosophy type stuff is probably less demanding than read the book for this course--for which i'm realizing i need pencil and paper to go through the examples.)
Comment Source:Hi, Bat! I too am interested in philosophy, though these days I express that interest by working on category theory, since a theorem lasts forever.