What Every Computer Scientist Should Know About Floating-Point Arithmetic
http://docs.oracle.com/cd/E19957-01/806-3568/ncg_goldberg.html
A Faster Cutting Plane Method and its Implications for Combinatorial and Convex
Optimization
http://arxiv.org/pdf/1508.04874v1.pdf
http://a-shen.livejournal.com/88339.html
Рассказывают, что недавно на одном из математических кружков дали такую задачу:
"Перед началом чемпионата мира по шахматам каждый из участников сказал, какое место он рассчитывает занять. Российский спортсмен сказал, что займёт последнее место. По итогам чемпионата все заняли различные места, и оказалось, что каждый, кроме российского спортсмена, занял место хуже, чем ожидал. Какое место занял русский игрок?"
Анализ теорем арифметики показывает, что в математике употребляются различные варианты отрицания. Нас далее будут интересовать два таких варианта, различие между которыми особенно наглядно проявляется при рассмотрении отрицания всеобщности некоторого суждения.
Обозначим, например, через F некоторое свойство натуральных чисел и рассмотрим следующее высказывание: ..неверно, что всякое число обладает свойством F". Доказательство такого высказывания может быть двояким. С одной стороны, можно под его доказательством понимать приведение к противоречию предположения о том, что всякое число обладает свойством F. С другой стороны, под этим доказательством можно понимать построение некоторого примера, опровергающего, что всякое натуральное число обладает свойством F, т . е. указание такого натурального числа, для которого свойство F не имеет места.
Классическая постановка вопроса не отдает предпочтения доказательству существования опровергающей конструкции перед доказательством путем приведения к противоречию. С конструктивной же точки зрения эти два доказательства равноценными не являются. Построение опровергающей конструкции доказывает, очевидно, более сильное утверждение и содержит больше информации.
Это дало основание Нельсону [1] построить логическое исчисление, в котором употребляется вторая форма отрицания, основанная на построении опровергающей конструкции.
Как было показано А. А. Марковым [2] , из правил истолкования с конструктивной точки зрения основных логических связей вытекает, что опровержение путем приведения к противоречию можно в известном смысле выразить через опровержение путем построения опровергающей конструкции.
Тем не менее ограничиваться только второй концепцией отрицания нецелесообразно. Приведение к противоречию является весьма употребительным в математике приемом доказательства , так что в тех моделях
математического мышления, какими являются различные логические исчисления, свойства соответствующего отрицания должны быть отражены. В обычной конструктивной арифметике (а потому и в обычном конструктивном исчислении высказываний) именно эта форма отрицания и применяется.
The Evolution of Math Teaching
1960s: A peasant sells a bag of potatoes for $10. His costs amount to 4/5 of his selling price. What is his profit?
1970s: A farmer sells a bag of potatoes for $10. His costs amount to 4/5 of his selling price, that is, $8. What is his profit?
1970s (new math): A farmer exchanges a set P of potatoes with set M of money. The cardinality of the set M is equal to 10, and each element of M is worth $1. Draw ten big dots representing the elements of M. The set C of production costs is composed of two big dots less than the set M. Represent C as a subset of M and give the answer to the question: What is the cardinality of the set of profits?
1980s: A farmer sells a bag of potatoes for $10. His production costs are $8, and his profit is $2. Underline the word "potatoes" and discuss with your classmates.
1990s: A farmer sells a bag of potatoes for $10. His or her production costs are 0.80 of his or her revenue. On your calculator, graph revenue vs. costs. Run the POTATO program to determine the profit. Discuss the result with students in your group. Write a brief essay that analyzes this example in the real world of economics.
(Anon: adapted from The American Mathematical Monthly, Vol. 101, No. 5, May 1994 (Reprinted by STan Kelly-Bootle in Unix Review, Oct 94)
Недавно была годовщина смерти этого чувака: http://people.bath.ac.uk/masnnv/Dad/dad.html Моя мама у него училась. По такому случаю почитал его статьи по логике и по теорверу, интересно…
Breaking: линейка тоже нужна! http://avva.livejournal.com/2903056.html
http://masterok.livejournal.com/2469339.html // на самом деле задача не на математику, а на thinking outside the box
У технарей 2+2 всегда 4. А у юристов 2+2 может быть от трех условно и до пожизненного
Чат, а я правильно помню, что работы Гротендика (EGA, SGA, FGA итд, что там ещё есть) ни на какие языки с французского никогда не переводились и нигде не переиздавались? Может быть, собрать интересующихся математиков, перевести на русский и издать прямо тута? Энтузиастов в русскоязычной среде хватает, препятствие в виде нежелания автора что-либо издавать при его жизни уже, к сожалению, отпало, почему бы нет? Какие подводные камни?
https://www.youtube.com/watch?v=_HcDyVEnJMA Чего только математики не придумают, чтобы объяснить топологические теоремы. Алсо, получается вот такая фигня: https://www.youtube.com/watch?v=RYH_KXhF1SY