 |
Темы без ответов | Активные темы
| Автор |
Сообщение |
|
NVadim
|
|
| Не в сети |
| Генерал сотового комплекса |
 |
 |
Зарегистрирован: Ср окт 15, 2003 12:13 Сообщения: 586
|
Daymare
Цитата: Вы ответили, что у вас есть набор аксиом, который определяет, что такое "1" и, типа, из этого легко понять что такое "-1". Я ответила, что ваш набор из аксиом (функций и объектов) порочен тем, что он определяет функции из набора тех же самых функций
А я вам мягко намекнул что обоснований-то своим высказываниям вы не привели. Цитата: Множество вещественных чисел вводится аксиоматически как совокупность объектов , удовлетворяющих 17 аксиомам.
нужные нам аксиомы: 2)для любых двух чисел A и B существует правило, по которому им ставится в соответствии третье число С, называемое суммой: А + B = C 2)для любых двух чисел A и B существует правило, по которому им ставится в соответствии третье число С, называемое произведением: А * B = C 7) существует число 0 такое, что для любого A: A +0 = A для любого числа A существует -A : A + (-A) = 0 12) существует число 1 : для любого A : 1*A = A
отсюда однозначно определяется число "-1" Вот отсюда вы сделали свой вывод о рекурсивности определения. Так приведите мне четкое рассуждение с указанием номеров аксиом, откуда что следует. Если сможете, конечно . Цитата: а под объектами подразумеваются сами числа.
Не под объектами подразумеваются числа, а что числа - это тоже объекты.
_________________ Лидер GreyBrotherhood [GB]
(icq 149186586)
|
|
| Вернуться к началу |
|
 |
|
Daymara
|
|
| Не в сети |
| Ветеран GM |
 |
 |
Зарегистрирован: Вс апр 04, 2004 21:59 Сообщения: 2621
Откуда: Neitherworld
|
2 NVadim
Цитата: А я вам мягко намекнул что обоснований-то своим высказываниям вы не привели. ... Вот отсюда вы сделали свой вывод о рекурсивности определения. Так приведите мне четкое рассуждение с указанием номеров аксиом, откуда что следует. Если сможете, конечно. Хм... Какое превосходство проскальзывает в последних словах.  Ответьте мне на два вопроса: 1) определение аксиомы; 2) является ли данный набор аксиом полным для рассматриваемой нами системы? Цитата: Не под объектами подразумеваются числа, а что числа - это тоже объекты.
Не вижу принципиальной разницы. По крайней мере, в нашем случае.
ЗЫ Попутно отмечу, что вы меня обманули, когда перемешали разговор о формальной логике с математикой (математической логикой). Это две большие разницы. Вспомните начало нашей беседы.
_________________ [img]http://www.kolobok.wrg.ru/smiles/rpg/butcher.gif[/img][img]http://img.liveinternet.ru/images/foto/1/888225/f_1464660.jpg[/img]
|
|
| Вернуться к началу |
|
 |
|
Sunnie
|
|
| Не в сети |
| Командант кольцевого мира |
 |
 |
Зарегистрирован: Ср дек 17, 2003 14:56 Сообщения: 1380
Откуда: Iota Draconis
|
Цитата: ЗЫ Попутно отмечу, что вы меня обманули, когда перемешали разговор о формальной логике с математикой (математической логикой). Это две большие разницы. Вспомните начало нашей беседы.
хде? какие разницы? и чему меня в школе учили... *ужасаецца*
фсю жизнь была уверена, что логика - это раздел математики Ю(
_________________ [color=darkred]Подчинённый перед лицом начальствующим должен иметь вид лихой и придурковатый дабы разумением своим не смущать начальства.
[i] Указ Петра I от 9 декабаря 1708 года.[/i][/color]
|
|
| Вернуться к началу |
|
 |
|
Prom
|
|
Зарегистрирован: Пт июн 04, 2004 1:05 Сообщения: 19
|
Цитата: фсю жизнь была уверена, что логика - это раздел математики
Ты права, но только от части....
Логика это раздел логической алгебры...
Но только та часть, которая относиться к вычеслению чего-либо.
Но есть и дургая логика если говорить человеческим ячзыком то часть логики можно буедт отнести к философии и любой другой гуманитарной науки...
Лично меня учили в институте (я юрист), что логика это не отрывная часть юриспруденции....
Хотя лично я с этим не согласен, но меня достаточно долго уверяли в обратном...
Дамы и Господа объясните человеку, что есть логика и с чем ее "едят"???
Потому, что судя по форуму каждый человек воспринимает логику как науку и как отдельный институт, через свое образование.
|
|
| Вернуться к началу |
|
 |
|
Daymara
|
|
| Не в сети |
| Ветеран GM |
 |
 |
Зарегистрирован: Вс апр 04, 2004 21:59 Сообщения: 2621
Откуда: Neitherworld
|
Sunnie писал(а): ... хде? какие разницы? и чему меня в школе учили... *ужасаецца* фсю жизнь была уверена, что логика - это раздел математики Ю(
Логика почти на 2.000 старше математики - т.е. математики как самостоятельной науки, а не арифметики и геометрии древнего мира и средневековья, которые использовались только для прикладных целей. Логика Аристотеля стала основой той математики, которая формировалась в 17-19 в.в. нашего времени. Современная математическая логика имеет другой, более широкий аксиоматический базис.
А есть ещё и диалектическая логика аксиоматический базис которой тоже шире, чем у формальной логики и принципиально отличен от математической. Тезис и антитезис ведут к синтезу, а "-A" + "A" всего лишь к пустому месту. 
_________________ [img]http://www.kolobok.wrg.ru/smiles/rpg/butcher.gif[/img][img]http://img.liveinternet.ru/images/foto/1/888225/f_1464660.jpg[/img]
|
|
| Вернуться к началу |
|
 |
|
Sunnie
|
|
| Не в сети |
| Командант кольцевого мира |
 |
 |
Зарегистрирован: Ср дек 17, 2003 14:56 Сообщения: 1380
Откуда: Iota Draconis
|
блин, опять тащите в философские дебри :)
Цитата: Формальная логика - наука об общих структурах и законах правильного мышления, образования и сочетания понятий и высказываний, о правилах умозаключений независимо от их конкретного содержания. http://www.glossary.ru/cgi-bin/gl_sch2. ... tg9!rujoqg
понимай, как хочешь. для меня это все равно раздел математики, и будет им :)
_________________ [color=darkred]Подчинённый перед лицом начальствующим должен иметь вид лихой и придурковатый дабы разумением своим не смущать начальства.
[i] Указ Петра I от 9 декабаря 1708 года.[/i][/color]
|
|
| Вернуться к началу |
|
 |
|
Daymara
|
|
| Не в сети |
| Ветеран GM |
 |
 |
Зарегистрирован: Вс апр 04, 2004 21:59 Сообщения: 2621
Откуда: Neitherworld
|
"Понятия, высказывания и умозаключения" - не только шире, просто несводимо к математике. Минимум + семантика.
Бум меряцца словарями?
Законы математики неадекватны "структурам и законам правильного мышления". Математическая логика служит решению абстрактных задач математики, а силлогизмы Аристотеля отвечают "законам правильного мышления". Для меня это очевидный факт.
_________________ [img]http://www.kolobok.wrg.ru/smiles/rpg/butcher.gif[/img][img]http://img.liveinternet.ru/images/foto/1/888225/f_1464660.jpg[/img]
|
|
| Вернуться к началу |
|
 |
|
NVadim
|
|
| Не в сети |
| Генерал сотового комплекса |
 |
 |
Зарегистрирован: Ср окт 15, 2003 12:13 Сообщения: 586
|
Daymare
Цитата: Хм... Какое превосходство проскальзывает в последних словах. Не превосходство , а явный намек на "странность" вашей позиции по поводу определений из серьезной книги. Утверждать, что 2<>2 - занятие именно "странное". Цитата: Ответьте мне на два вопроса: 1) определение аксиомы; 2) является ли данный набор аксиом полным для рассматриваемой нами системы?
Кхм. Так вы будете доказывать своё высказывание или нет?  Или отвлекать мну вопросами про определение аксиомы?
(Вы сделали свой вывод без вопроса 2).)
_________________ Лидер GreyBrotherhood [GB]
(icq 149186586)
|
|
| Вернуться к началу |
|
 |
|
vl_
|
|
| Не в сети |
 |
Зарегистрирован: Пн май 17, 2004 6:51 Сообщения: 5
|
|
Может мне пояснят что с игрой творится, грустно будет вылететь с игры. см Объявления и новости-Борьба с ботоводством.
Ваши мнения ?
|
|
| Вернуться к началу |
|
 |
|
Daymara
|
|
| Не в сети |
| Ветеран GM |
 |
 |
Зарегистрирован: Вс апр 04, 2004 21:59 Сообщения: 2621
Откуда: Neitherworld
|
MaDJonh писал(а): Скажите, если я открою центральные ворота, а потом закрою их, предварительно построив в нейтральной и центральной соте здания - они обесточатся? Если да, то можно их одновременно активировать более 3-х? Или не больше трех, включая строительство новых зданий? Что нужно для открытия ворот?
1. Здания обесточатся и прекратят работать/довывать ресурсы. Можно активировать все сразу. На строительство это никак не влияет.
2. Кадериумный пресс, наука - нано, энергия, еда - по 3; кад - 5.
_________________ [img]http://www.kolobok.wrg.ru/smiles/rpg/butcher.gif[/img][img]http://img.liveinternet.ru/images/foto/1/888225/f_1464660.jpg[/img]
|
|
| Вернуться к началу |
|
 |
|
Knight_Of_Light
|
|
| Не в сети |
| Наблюдатель кольцевого мира |
 |
 |
Зарегистрирован: Сб дек 13, 2003 21:29 Сообщения: 1081
Откуда: Орион 2.80.3 [-=AG=-]
|
Daymare писал(а): А вот мне интересно - прекратится ли постройка зданий в ценре и на нейтралке, если я закрою ворота?
Прекратятся все действия: построки, производство, добыча на НЕЙТРАЛЬНОЙ и ЦЕНТРАЛЬНОЙ сотах...
_________________ [color=darksilver][size=142]AbsoluteGuardians -=СТРАЖИ=-[/size][/color]
_________________________________________________
[img]http://www.absoluteguardians.net:8080/img/sign.gif[/img]
|
|
| Вернуться к началу |
|
 |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и 66 гостей |
|
|
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения
|
|
 |