María Manzano facts for kids
.jpg)
María Gracia Manzano Arjona, born in 1950, is a Spanish philosopher. She is well-known for her studies in mathematical logic and model theory. These are special areas of mathematics and philosophy that explore how we think about and understand mathematical ideas.
Her Education and Early Work
María Manzano earned her Ph.D. degree in 1977 from the University of Barcelona in Spain. Her Ph.D. paper was titled Sistemas generales de la lógica de segundo orden, which means "General systems of second-order logic". This work looked at advanced ways of thinking about logic. Her supervisor, who helped her with her studies, was Jesús Mosterín.
A Professor at the University
Today, María Manzano is a professor at the University of Salamanca. She teaches about logic and the philosophy of science. This means she helps students understand how we use logic in science and how scientific ideas are formed.
Books She Has Written
María Manzano has written several important books about logic and model theory. These books help others learn about these complex subjects:
- Teoría de modelos (1990): This book is about model theory, which is a way to study mathematical ideas using different kinds of "models" or examples. It was later translated into English as Model Theory.
- Extensions of First Order Logic (1996): This book explores more advanced topics in logic, building on basic ideas of first-order logic. First-order logic is a fundamental system used in mathematics and computer science.
- Lógica para principiantes (2004): This book, written with Antonia Huertas, means "Logic for beginners" in Spanish. It helps new students learn the basics of logic in an easier way.
See also
In Spanish: María Manzano para niños
