The workshop is meant to benefit research scholars and young teachers of Mathematics, Statistics and Computer Science.
The course will cover fundamentals of propositional logic, first order logic, completeness theorem, model theory with applications in number theory, algebra and geometry.
Cardinal arithmetic, partially-ordered sets, well-ordered sets, transfinite induction, ordinal numbers, axiom of choice and its equivalent forms such as Zorn's lemma and well-ordering principle and their applications in mathematics, Zermelo-Fraenkel axioms.
Resource Persons
S. M. Srivastava (ISI, Kolkata) - Main Organiser
H. Sarbadhikari (ISI, Kolkata)
B.V.Rao (CMI, Chennai)
N. Raja (TIFR, Mumbai)
R. Ramanujam (IMSc, Chennai).
Registration
Registration Closed.
Coordinator:
Joseph Mathew
Visiting Professor
Email: jmathew@ksom.res.in
Tel: 0495 2809005 |