Сообщение в карантине исправлено

[photon]

dikiy1 в сообщении #784457 писал(а):

Моё сообщение исправлено. post784377.html#p784377

формулы оформлены неправильно.

dikiy1 в сообщении #784457 писал(а):

Ссылка на другой сайт вызвано тем, что
бы не быть обвинённым в плагиате.

ссылка на другой сайт должна сопровождаться чётким пояснением, что находится по этой ссылке, основное содержание и суть вопроса должны быть понятны из сообщения без перехода по ссылке

[dikiy1]

post784461.html#p784461
"$\TeX$ом не оформлено, да и $(\forall)$ не пишут.
Предикаты $E,C,Y$ и $\equiv$ не определены, смыслового описания у них не наблюдается, ^ - неясно, что это.
Предмет обсуждения по-прежнему в явном виде отсутствует. Что Вы хотите обсуждать? Полноту, непротиворечивость, категоричность системы аксиом? Может быть есть какие-то вопросы или с помощью этой системы аксиом решены какие-то задачи?"
----------------------------------------------------------------------
Я привёл выдержку из статьи "Применение
предикатов".
По-моему, можно догадаться, что "C",
"Y", "E" обозначают соответственно
"сложение", "умножение", "единица",
т.к. рядом справа даны примеры, например,
(a + b = c) => (b + a => c).
Видимо, та статья оформлена математически
безграмотно, но мне кажется, что применение
языка математической логике для записи
аксиом и теорем может интересной для
желающих покопаться в натуральных
числах.
Вот пример вроде бы доказательства
одной из теорем из всё той же статьи.
"T1 (∀) Y(a,b,a) => E(b) ?
(∃c) E(c) ....................................(A3)
(∀) E(c) => Y(a,c,a) ...............................(A5)
(∀) Y(a,b,a) ^ Y(a,c,a) => (b ≡ c)
(∀) E(c) ^ (b ≡ c) => E(b)
(∀) Y(a,b,a) => E(b) !
(a ∙ b = a) => (b = 1) !"

[dikiy1]

post784461.html#p784461
"$\TeX$ом не оформлено, да и $(\forall)$ не пишут.
Предикаты $E,C,Y$ и $\equiv$ не определены, смыслового описания у них не наблюдается, ^ - неясно, что это.
Предмет обсуждения по-прежнему в явном виде отсутствует. Что Вы хотите обсуждать? Полноту, непротиворечивость, категоричность системы аксиом? Может быть есть какие-то вопросы или с помощью этой системы аксиом решены какие-то задачи?"
----------------------------------------------------------------------
Я привёл выдержку из статьи "Применение
предикатов".
По-моему, можно догадаться, что "C",
"Y", "E" обозначают соответственно
"сложение", "умножение", "единица",
т.к. рядом справа даны примеры, например,
(a + b = c) => (b + a => c).
Видимо, та статья оформлена математически
безграмотно, но мне кажется, что применение
языка математической логике для записи
аксиом и теорем может интересной для
желающих покопаться в натуральных
числах.
Вот пример вроде бы доказательства
одной из теорем из всё той же статьи.
"T1 (∀) Y(a,b,a) => E(b) ?
(∃c) E(c) ....................................(A3)
(∀) E(c) => Y(a,c,a) ...............................(A5)
(∀) Y(a,b,a) ^ Y(a,c,a) => (b ≡ c)
(∀) E(c) ^ (b ≡ c) => E(b)
(∀) Y(a,b,a) => E(b) !
(a ∙ b = a) => (b = 1) !"

[photon]

dikiy1, не надо дискутировать в этой теме - это оффтоп. Вносите правки в своей теме и сообщайте тут

[ror6ax]

Тема post784966.html исправлена.

[Deggial]

ror6ax в сообщении #784999 писал(а):

Тема post784966.html исправлена.

Фигурные скобки наберите со слэшем: \{ \} $\{ \}$

[ror6ax]

Deggial в сообщении #785004 писал(а):

ror6ax в сообщении #784999 писал(а):

Тема post784966.html исправлена.

Фигурные скобки наберите со слэшем: \{ \} $\{ \}$

Сделано.

[Deggial]

ror6ax в сообщении #785013 писал(а):

Сделано.

вернул

[dikiy1]

"dikiy1 в сообщении #784377 писал(а):
для натуральных
чисел аксиомы Пеано, а другие, альтернативные,
старательно не замечаются.
Это враньё, можете заглянуть в Мендельсона и благополучно стереть это утверждение"
-------------------------------------------------------------
Теория Мендельсона это слегка изменённые
аксиомы Пеано.
Меня настораживает требование переводить
математические тексты, взятые из других
источников, на $\TeX$ом, которое мне
затруднительно освоить.
Осмелюсь привести пример, как удобно
применять язык мат.логики.
(a + b = c) ≡ C(a,b,c)
(a + b = c) => (b + a = c) ≡ C(a,b,c) => C(b,a,c) ≡
≡ ¬C(a,b,c) v C(b,a,c) ≡ C(b,a,c) => ¬C(a,b,c) ≡
≡ ¬C(b,a,c) => ¬C(a,b,c) ≡ (b + a ≠ c) => (a + b ≠ c)

[photon]

photon в сообщении #784506 писал(а):

dikiy1, не надо дискутировать в этой теме - это оффтоп. Вносите правки в своей теме и сообщайте тут

Продолжение в том же духе будет рассматриваться как троллинг

[Zaochnik]

Тема post785166.html#p785166 исправлена

[photon]

Zaochnik в сообщении #785185 писал(а):

Тема post785166.html#p785166 исправлена

нет, формулы всё еще набраны неправильно, попыток решения не появилось, заголовок неинформативен. В сообщении о переносе в Карантин не просто так дана ссылка на тему «Что такое карантин, и что нужно делать, чтобы там оказаться».

[rock2-2]

Тема topic77651.html исправлена

[Deggial]

rock2-2 в сообщении #785354 писал(а):

Тема topic77651.html исправлена

Полная неправда.

[rock2-2]

Deggial
что не так?

-- 05.11.2013, 23:16 --

Deggial в сообщении #785360 писал(а):

rock2-2 в сообщении #785354 писал(а):

Тема topic77651.html исправлена

Полная неправда.

что не так?