Zaproszenie na wykład prof. G. B. Shabata: "Natural language in mathematics and physics"

Natural language in mathematics and physics

George B. Shabat, 
RSUH (Russian State University for the Humanities) 
and ITEP (Institute of Theoretical and Experimental Physics), Moscow

 

14 June 2018, 13:15, room 01.082


The (properly restricted) natural language will be considered as a partner of the semiotic systems that are used in mathematics and physics. The language of scientific texts will be considered as a combination of natural-like components and the fragments of special semiotic systems. The problems of defining the components of these combinations and of the comprehension of scientific texts will be addressed; the concepts of the joint paper with G. Krejdlin, published in the volume "Znaki czy ne znaki?" (Warszawa, 2016), will be presented. As a most classical example, the combination of natural-like geometric language with the semiotic system of sketches will be considered.

The applications of the concepts of the talk to the future human-computer communications will be briefly outlined. In particular, the Mizar project (Andrzeu Trybulec, started around 1973) and Univalent Foundations of Mathematics (Vladimir Voevodsky, around 2006) will be mentioned.

 

 

 

Fot. Mirosław Kaźmierczak, Archiwum Biura Promocji UW

 

Fot. Mirosław Kaźmierczak, Archiwum Biura Promocji UW

 

Fot. Archiwum Biura Promocji UW

 

Fot. Archiwum Biura Promocji UW

 


© Instytut Lingwistyki Stosowanej UW | Kontakt | Webmaster | Ciasteczka / Cookies