Каталог статей

Компьютерная канонизация.

Wed, 15 Feb 2012 19:31:39 GMT

– способ более точного определения понятий, которые традиционно считаются «интуитивно ясными» и неопределяемыми.

Направления математики

Wed, 08 Feb 2012 15:51:26 GMT

– исторически сложившиеся за последние полутора столетий стили математического мышления.

Диагональный метод

Wed, 04 Jan 2012 03:36:40 GMT

– несостоятельный прием доказательства, изобретенный Георгом Кантором 7 декабря 1873 года.

Номиналия

Tue, 03 Jan 2012 02:54:32 GMT

– программная модель объекта внешнего мира внутри ВитОС.

Платоновский мир идей

Tue, 03 Jan 2012 02:16:57 GMT

– совокупность нефизических реалий, соответствующих построенным в ВитОС номиналиям.

Отражение

Sun, 01 Jan 2012 02:55:29 GMT

– концепсия "трёх миров", или процесс сопоставления объектов внешнего мира и объектов ВитОС внутри этой операционной системы .

Естественный изоморфизм

Sun, 25 Dec 2011 03:58:26 GMT

– это изоморфизм между системами А и В, возникший не в результате их взаимодействия.

Реалия

Thu, 22 Dec 2011 15:02:05 GMT

Реалия – объект внешнего мира, который отражается в ВитОС в виде некоторой модели.

Продукт программы

Tue, 15 Nov 2011 13:34:19 GMT

– структура, построенная программой при её выполнении, её выходные данные.

Материал программы

Mon, 07 Nov 2011 01:36:49 GMT

– структура, которую какая-нибудь программа использует как свои исходные данные и проводит над этой структурой манипуляции, определяемые алгоритмом программы.