ign="justify">, природним мовою. Мало того, розмовна мова є базою мови штучного. У цьому відношенні представляє інтерес нещодавнє відкриття вчених. Мова йде про те, що давня мова індіанців аймара, на якому говорять приблизно 2,5 мільйона людей в Болівії і Перу, виявився найвищою мірою зручним для комп'ютерної техніки. Ще в 1610 році італійський місіонер-єзуїт Людовіко Бертоні, що склав перший словник аймара, зазначав геніальність його творців, котрі домоглися високої логічної чистоти. У аймара, наприклад, не існує неправильних дієслів і ніяких винятків з небагатьох чітких граматичних правил. Ці особливості мови аймара дозволили болівійському математику Айвану Гусману де Рохас створити систему синхронного комп'ютерного перекладу з будь-якого з п'яти закладених в програму європейських мов, містком між якими служить мову аймара. ЕОМ Аймара , створена болівійським вченим, отримала високу оцінку фахівців. Резюмуючи цю частину питання про сутність математичного стилю мислення, слід зазначити, що його основним змістом є розуміння природи.
Аксіоматичний метод
Аксіоматика - основний спосіб побудови теорії, з давнини і до сьогоднішнього дня підтверджує свою універсальність і всі придатність. p align="justify"> В основі побудови математичної теорії лежить аксіоматичний метод. В основу наукової теорії кладуться деякі вихідні положення, звані аксіомами, а всі інші положення теорії виходять, як логічні наслідки аксіом. p align="justify"> Аксіоматичний метод з'явився в Древній Греції, і в даний час застосовується практично у всіх теоретичних науках, а, насамперед у математиці.
Порівнюючи три, у відомому відношенні, що доповнюють один одного геометрії: Евклидову (параболічну), Лобачевського (гіперболічну) і ріманово (еліптичну), слід зазначити, що поряд з деякими подібностями є велика різниця між сферичної геометрією, з одного боку, і геометріями Евкліда і Лобачевського - з іншого.
Корінне відмінність сучасної геометрії полягає в тому, що тепер вона охоплює "геометрії" нескінченної кількості різних уявних просторів. Однак слід зазначити, що всі ці геометрії є інтерпретаціями евклідової геометрії і в основі їх лежить аксіоматичний метод, вперше використаний Евклидом. p align="justify"> На основі досліджень отримав свій розвиток і широке застосування аксіоматичний метод. Як окремий випадок застосування цього способу служить метод слідів в стереометрії, що дозволяє вирішувати задачі на побудову перерізів в многогранниках і деяких інших позиційних завдань. p align="justify"> Аксіоматичний метод, розвинений спочатку в геометрії, тепер став важливим знаряддям вивчення та в інших розділах математики, фізики і механіки. В даний час ведуться роботи з удосконалення і більш глибокого вивчення...
