How not to lose common sense when formalizing in mathematical logic lessons
Authors
Year
2011
Published
7. konference o matematice a fyzice na vysokých školách technických. Brno: Univerzita obrany, 2011. pp. 291-298. ISBN 978-80-7231-818-6.
Type
Proceedings paper
Departments
Annotation
When examined in mathematical logic, many students state that a consid-
eration, which correctness is apparent to primary school children, is incorrect. WHY?
They are used to formalize sentences and use some method of proof. If a small mistake
appears (a forgotten negation symbol.), their result will be incorrect. They are not used
to check it with their own thinking.
This experience comes from a technical univesity, mathematical logic is taught in another
way at mathematical oriented universities.