Человеческие ошибки
Типы ошибок
Языки и исчисления
Центральная идея математической логики восходит еще к Лейбницу и состоит в том, чтобы записывать математические утверждения в виде последовательностей символов и оперировать с ними по формальным правилам. При этом правильность рассуждений можно проверять механически, не вникая в их смысл.Усилиями большого числа математиков и логиков второй половины XIX и первой половины XX века (Буль, Кантор, Фреге, Пеано, Рассел, Уайтхед, Цермело, Френкель, Гильберт, фон Нейман, Гедель и другие) эта программа была в основном выполнена. Принято считать, что всякое точно сформулированное математическое утверждение можно записать формулой теории множеств (одной из наиболее общих формальных теорий), а всякое строгое математическое доказательство преобразовать в формальный вывод в этой теории (последовательность формул теории множеств, подчиняющуюся некоторым простым правилам). В каком-то смысле это даже стало определением: математически строгим считается такое рассуждение, которое можно перевести на язык теории множеств.
Так что же, теперь математики могут дружно уйти на пенсию, поскольку можно открывать математические теоремы с помощью компьютеров, запрограммированных в соответствии с формальными правилами теории множеств? Конечно, нет, причем сразу по нескольким причинам.
Вексель
Ни один из инструментов финансового рынка, кроме, конечно, самих денег во всех многочисленных проявлениях их экономических функций, не может сравниться по своей истории и значению с векселем. Именно развитие вексельного обращения привело к обезналичиванию всех денежных расчетов: вытеснению из денежного обращения металлов - золота и серебра, замене эквивалентов менового оборота бумажными символами.Банковский вексель
Закон о векселях
Вексель в РФ
История векселя
Вексельное кредитование
Учет векселей
Рынок векселей
Обращение векселей
Расчеты по векселям
Переводной вексель
