«Совершенно ясное и строгое понимание дедуктивных схем пришло лишь в начале XX столетия. В основном это заслуга великого немецкого математика Гильберта. В несколько огрублённой и упрощённой форме дело обстоит примерно так...

Самым древним строгим математическим доказательством многие считают Теорему Евклида, которая впервые была представлена Евклидом в его трудах "Начала" в 300г. до н.э. Это теорема гласит о том, что множество простых чисел бесконечно.Напомним, простым называется такое натуральное число, которое делится только на себя и на единицу. Единицу принято не относить ни к простым, ни к составным числам. Простые числа среди натуральных встречаются на первый взгляд часто(среди первых 10 чисел простыми являются...