Standard

Компьютер как новая реальность математики, I, Personal account. / Вавилов, Николай Александрович.

в: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ, № 2, 09.10.2020, стр. 5-26.

Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

Harvard

Вавилов, НА 2020, 'Компьютер как новая реальность математики, I, Personal account', КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ, № 2, стр. 5-26. https://doi.org/10.32603/2071-2340-2-5-26

APA

Vancouver

Author

Вавилов, Николай Александрович. / Компьютер как новая реальность математики, I, Personal account. в: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 2020 ; № 2. стр. 5-26.

BibTeX

@article{e91bef1612464eecad1d61cdf19a51e6,
title = "Компьютер как новая реальность математики, I,: Personal account",
abstract = "В последние десятилетия много говорится о компьютерных доказательствах(computer proofs, computer aided proofs, computer verified proofs и т.д). Совершенно очевидно, что в еще большей степени появление и распространение компьютеров изменило приложения математики. О чем однако говорится гораздо меньше, это о том, как компьютеры изменили саму математику, отношение математиков к математической реальности, как возможности ее непосредственно наблюдать, так и понимание того, что вообще мы можем надеяться доказать. Я рассказываю о своем собственном опыте использования компьютеров как инструмента и об опыте использования компьютеров в работах моих коллег, которые я наблюдал с близкого расстояния. Этот опыт радикально изменил мои взгляды на многие аспекты функционирования математики, в частности, на ее преподавание. Первая частьносит общий мемуарно-философский характер, следующие посвящены нескольким важным конкретным продвижениям, полученным с помощью компьютеров в алгебре и теории чисел.",
keywords = "Математика, Компьютеры, Образование",
author = "Вавилов, {Николай Александрович}",
year = "2020",
month = oct,
day = "9",
doi = "10.32603/2071-2340-2-5-26",
language = "русский",
pages = "5--26",
journal = "КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ",
issn = "2071-2340",
publisher = "Издательство СПбГЭТУ {"}ЛЭТИ{"}",
number = "2",

}

RIS

TY - JOUR

T1 - Компьютер как новая реальность математики, I,

T2 - Personal account

AU - Вавилов, Николай Александрович

PY - 2020/10/9

Y1 - 2020/10/9

N2 - В последние десятилетия много говорится о компьютерных доказательствах(computer proofs, computer aided proofs, computer verified proofs и т.д). Совершенно очевидно, что в еще большей степени появление и распространение компьютеров изменило приложения математики. О чем однако говорится гораздо меньше, это о том, как компьютеры изменили саму математику, отношение математиков к математической реальности, как возможности ее непосредственно наблюдать, так и понимание того, что вообще мы можем надеяться доказать. Я рассказываю о своем собственном опыте использования компьютеров как инструмента и об опыте использования компьютеров в работах моих коллег, которые я наблюдал с близкого расстояния. Этот опыт радикально изменил мои взгляды на многие аспекты функционирования математики, в частности, на ее преподавание. Первая частьносит общий мемуарно-философский характер, следующие посвящены нескольким важным конкретным продвижениям, полученным с помощью компьютеров в алгебре и теории чисел.

AB - В последние десятилетия много говорится о компьютерных доказательствах(computer proofs, computer aided proofs, computer verified proofs и т.д). Совершенно очевидно, что в еще большей степени появление и распространение компьютеров изменило приложения математики. О чем однако говорится гораздо меньше, это о том, как компьютеры изменили саму математику, отношение математиков к математической реальности, как возможности ее непосредственно наблюдать, так и понимание того, что вообще мы можем надеяться доказать. Я рассказываю о своем собственном опыте использования компьютеров как инструмента и об опыте использования компьютеров в работах моих коллег, которые я наблюдал с близкого расстояния. Этот опыт радикально изменил мои взгляды на многие аспекты функционирования математики, в частности, на ее преподавание. Первая частьносит общий мемуарно-философский характер, следующие посвящены нескольким важным конкретным продвижениям, полученным с помощью компьютеров в алгебре и теории чисел.

KW - Математика

KW - Компьютеры

KW - Образование

U2 - 10.32603/2071-2340-2-5-26

DO - 10.32603/2071-2340-2-5-26

M3 - статья

SP - 5

EP - 26

JO - КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ

JF - КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ

SN - 2071-2340

IS - 2

ER -

ID: 61018557