andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

September 14, 2014

Categories and Ontologies for Knowledge Representation Workshop

Filed under: Uncategorized — Andrei Rodin @ 12:37 pm

в разделе my events выложены слайды и аудио докладов

 

Summary: Knowledge Representation is a rapidly developing area of Artificial Intelligence, which brings together computer scientists and philosophers. The purpose of this workshop is to explore some applications of Category theory and Ontologies in Knowledge Representation.

When: Wednesday September 17 from 10 A.M. to 7 P.M.
Where: Institute of Philosophy of Russian Academy of Sciences (14/5 Volkhonka st., Moscow) Room 525.
Venue: Metro station Kropotkinskaya

Languages: Morning Session will be in Russian, Afternoon Session will be in English

Web:  iph.ras.ru/science_events.htm

Schedule:
10:00 – 10:50
Sergei Kavalyaov (ICS RAS)
Category-theoretic models and methods for development of information systems
Coffee Break 15 mins
11:05 – 12:55
Alex Shkotin (SGM RAS)
Ontologies for Petrology
Coffee Break 15 mins
12:10 – 13:00
Andrei Rodin (IP RAS)
Categorical approaches in Knowledge Representation
LUNCH 2h
15:00 – 15:50
Irina Starikova (Sao Paulo U)
Cognitive Representations in Mathematical Reasoning
Coffee Break 15 mins
16:05 – 16:55
Vitaly Khudovakshev (SPBU) (Skype)
Probabilistic Programming and the Generic Aprroach in Knowledge Representation
Coffee Break 15 mins
17:10 – 18:00
Henson Graves (Lockheed Martin) (Skype)
A Mathematical Framework for Engineering and Science Applications
(TBC)
18:00 – 19:00
General Discussion

 

 

 

August 15, 2014

On Constructive Axiomatic Method

Filed under: Uncategorized — Andrei Rodin @ 1:05 am

The formal axiomatic method popularized by Hilbert and recently defended by Hintikka is not fully adequate to the recent practice of axiomatizing mathematical theories. The axiomatic architecture of Topos theory and Homotopy type theory do not fit the pattern of the formal axiomatic theory in the standard sense of the word.  However these theories fall under a more general and in some respects more traditional notion of axiomatic theory, which I call after Hilbert constructive. I show that the formal axiomatic method always requires a support of some more basic constructive method.

 

Longer version (PDF)  , the same on arXiv

Shorter journal version (PDF)

 

February 23, 2014

презентация

Filed under: Uncategorized — Andrei Rodin @ 2:03 pm

Дорогие Коллеги,

в рамках регулярного семинара “Актуальные проблемы философии науки и техники” под руководством В.И Аршинова и А.В. Родина

в ЧЕТВЕРГ 27го февраля в 11 часов утра в аудитории 525 ИФРАНа (Москва, Волхонка 14)

состоится доклад Андрея Родина “Аксиоматический метод как средство научного познания” и презентация новой книги Родина “Аксиоматический метод и теория категорий” (Andrei Rodin, Axiomatic Method and Category Theory, Springer, Synthese Library vol. 364, 2014). http://www.springer.com/philosophy/book/978-3-319-00403-7

С содержанием книги можно ознакомиться здесь: http://arxiv.org/abs/1210.1478

Семинар открыт для всех желающих,

с уважением,
АР

February 13, 2014

Review of my book just published by MAA

Filed under: Uncategorized — Andrei Rodin @ 7:29 pm

http://www.maa.org/publications/maa-reviews/axiomatic-method-and-category-theory

 

(pdf)

January 28, 2014

Программный реализм в физике и основания математики

Filed under: Uncategorized — Andrei Rodin @ 1:39 pm

Черновик новой статьи (русский) (pdf). Критика и комментарии приветствуются.

January 7, 2014

Upcoming talk:

Filed under: Uncategorized — Andrei Rodin @ 8:49 pm

Objectivity, Objecthood and Genetic Axiomatic Methods in Modern Categorical Mathematics 

talk at the conference Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014 (PhML-2014) , April 21–25, 2014,  in the Euler International Mathematical Institute (EIMI)

abstract (pdf)

November 20, 2013

Upcoming talk:

Filed under: Uncategorized — Andrei Rodin @ 9:16 pm

 

Title: Geometry, Logic and Axiomatic Method in the 21st Century: Back to Euclid?

When: December 11, 12:15 P.M.

Where: University of Turku (Finland), Department of Social Sciences, Filosofian seminaarihuone 169.

For more info click here

 

 

November 7, 2013

Axiomatic Method and Category Theory

Filed under: Uncategorized — Andrei Rodin @ 6:44 pm

e-book is now also available

November 4, 2013

Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014 (PhML-2014)

Filed under: Uncategorized — Andrei Rodin @ 8:51 pm

The conference Philosophy, Mathematics, Linguistics: Aspects of Interaction
2014 (PhML-2014) will be held on April 21–25, 2014 at the Euler
International Mathematical Institute (EIMI)
, which is a research unit of the
St. Petersburg Department of Steklov Institute of Mathematics (PDMI) of the
Russian Academy of Sciences (RAS).

The conference PhML-2014 is a sequel in the series of conferences intended
to provide a forum for philosophers, mathematicians, linguists, logicians,
and computer scientists who share an interest in cross-disciplinary research.

For more info see http://www.pdmi.ras.ru/EIMI/2014/PhML/index.html

Important Dates

Submission deadline for contributed papers: February 1st, 2014
Notification of acceptance: March 1st, 2014
Conference starts: April 21st, 2014

October 30, 2013

Axiomatic Method and Category Theory

Filed under: Uncategorized — Andrei Rodin @ 6:52 pm

The Book finally got published!

http://www.springer.com/philosophy/book/978-3-319-00403-7

 

« Newer PostsOlder Posts »

Powered by WordPress