Теорема Успенского-Райса - История изменений

Maintenance script: rollbackEdits.php mass rollback

2022-09-04T16:29:48Z

rollbackEdits.php mass rollback

80.82.78.13 в 04:42, 1 сентября 2022

2022-09-01T04:42:18Z

ExileHell: Удалено содержимое страницы

2016-12-25T19:56:28Z

Удалено содержимое страницы

ExileHell: Новая страница: « A {{---}} разрешимое семейство языков. L_A {{---}} множество программ, удовлетворя...»

2016-12-17T20:53:51Z

Новая страница: «<tex> A </tex> {{---}} разрешимое семейство языков. <tex> L_A </tex> {{---}} множество программ, удовлетворя...»

Новая страница

<tex> A </tex> {{---}} разрешимое семейство языков.

<tex> L_A </tex> {{---}} множество программ, удовлетворяющих св-ву <tex> A </tex>.

Теперь допустим, что язык <tex> L_A </tex> разрешим. Тогда напишем такую программу:

<code>
propA(code):
// программа, разрешающее свойство языка <tex> A </tex>
f(x):
// такая программа <tex> f </tex>, что <tex>f \in A </tex>; существует потому что <tex> A </tex> {{---}} нетривиальное свойство
g(x):
// такая программа <tex> g </tex>, что <tex>g \notin A </tex>; существует потому что <tex> A </tex> {{---}} нетривиальное свойство
p(x):
'''if''' propA(getSrc())
'''return''' g(x)
'''else'''
'''return''' f(x)
</code>

Если <tex> p </tex> не удовлетворяет свойству <tex> A </tex>, тогда будет выполняться всегда вторая ветка, и <tex> L(p) = L(f) </tex>. Но язык программы <tex> f </tex> принадлежит <tex> A </tex>. Получили противоречие.

Если <tex> p </tex> удовлетворяет свойству <tex> A </tex>, то <tex> L(p) = L(g) </tex>, а <tex> g \notin A </tex>. Опять получили противоречие.

← Предыдущая		Версия 16:29, 4 сентября 2022
Строка 1:		Строка 1:
−	~~{\| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"~~
−	\|+
−	~~\|-align="center"~~
−	~~\|'''НЕТ ВОЙНЕ'''~~
−	~~\|-style="font-size: 16px;"~~
−	\|
−	24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.

−	Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
−
−	Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
−
−	Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
−
−	~~''Антивоенный комитет России''~~
−	~~\|-style="font-size: 16px;"~~
−	\|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
−	~~\|-style="font-size: 16px;"~~
−	\|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
−	\|}

← Предыдущая	Версия 04:42, 1 сентября 2022
Строка 1:	Строка 1:
	+	{\| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"
	+	\|+
	+	\|-align="center"
	+	\|'''НЕТ ВОЙНЕ'''
	+	\|-style="font-size: 16px;"
	+	\|
	+	24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.

	+	Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
	+
	+	Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
	+
	+	Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
	+
	+	''Антивоенный комитет России''
	+	\|-style="font-size: 16px;"
	+	\|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
	+	\|-style="font-size: 16px;"
	+	\|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
	+	\|}

← Предыдущая		Версия 19:56, 25 декабря 2016
Строка 1:		Строка 1:
−	~~<tex> A </tex> {{---}} разрешимое семейство языков.~~

−	~~<tex> L_A </tex> {{---}} множество программ, удовлетворяющих св-ву <tex> A </tex>.~~
−
−	~~Теперь допустим, что язык <tex> L_A </tex> разрешим. Тогда напишем такую программу:~~
−
−	~~<code>~~
−	~~propA(code):~~
−	~~// программа, разрешающее свойство языка <tex> A </tex>~~
−	~~f(x):~~
−	~~// такая программа <tex> f </tex>, что <tex>f \in A </tex>; существует потому что <tex> A </tex> {{---}} нетривиальное свойство~~
−	~~g(x):~~
−	~~// такая программа <tex> g </tex>, что <tex>g \notin A </tex>; существует потому что <tex> A </tex> {{---}} нетривиальное свойство~~
−	~~p(x):~~
−	~~'''if''' propA(getSrc())~~
−	~~'''return''' g(x)~~
−	~~'''else'''~~
−	~~'''return''' f(x)~~
−	~~</code>~~
−
−	Если <tex> p </tex> не удовлетворяет свойству <tex> A </tex>, тогда будет выполняться всегда вторая ветка, и <tex> L(p) = L(f) </tex>. Но язык программы <tex> f </tex> принадлежит <tex> A </tex>. Получили противоречие.
−
−	~~Если <tex> p </tex> удовлетворяет свойству <tex> A </tex>, то <tex> L(p) = L(g) </tex>, а <tex> g \notin A </tex>. Опять получили противоречие.~~