ReSQL.ru
     
powered by simpleCommunicator - 2.0.49     © 2025 Programmizd 02
Мобильная версия    Контакт    Правила    FAQ    Помощь
Доб. в избранное | Игнор. тему | Прикреп. тему | Пометить прочит. / непрочит. | Фильтр
Форумы / Программирование [игнор отключен] [закрыт для гостей] / Немного о ВТФ
25 сообщений из 239, страница 3 из 10
  3  все
Немного о ВТФ
    #40040842
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
exp98
Наверное надо заносить в БД аксиомы и правила формирования утверждений, и правила проверки исинности (вроде как "Бурбаки" этим занимаются). Но я имею ввиду, что это была отправная точка исследования или промежуточная вспомогательная точка.

(раскачиваясь в кресле)

Хм... мне нравися эта тема. Только я-бы предложил не базу данных а базу знаний. И желательно чтоб знания лежали
так чтоб мы могли выводить из одних знаний - другие.
...
Рейтинг: 0 / 0
02.02.2021, 12:45
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40040853
Gennadiy Usov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Gennadiy Usov
Гость
mayton
Да. Работает.
Код: sql
1.
2.
>>> pow(2.0,0.667)
1.587767861863305

mayton,

Спасибо!
Разобрался
...
Рейтинг: 0 / 0
02.02.2021, 13:17
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40040908
Gennadiy Usov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Gennadiy Usov
Гость
Дальнейшее продолжение темы.

Найдена функция

y1 = pow(float(x), 0.666683)*1.4418

Оказывается, что на любом множестве Рх ,
если y меньше, чем y1,
то на паре натуральных чисел (x, y) будет доказана ВТФ.

Расчёты на компьютере до х = 146 000 000 показали отклонение реальных значений от формулы не более, чем 4.

Для х = 146000000 таких пар будет 399891
...
Рейтинг: 0 / 0
02.02.2021, 15:16
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40040909
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Для целых чисел можно pow(x, 2/3) попробовать заменить на метод Ньютона.

Тогда мы не будем ограничены double точностью.
...
Рейтинг: 0 / 0
02.02.2021, 15:21
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40040912
Gennadiy Usov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Gennadiy Usov
Гость
mayton
Для целых чисел можно pow(x, 2/3) попробовать заменить на метод Ньютона.

Тогда мы не будем ограничены double точностью.
Не всё хорошо с 2/3, хотя удобно.

Изменение одной циферки в конце числа
и уже "улетаешь" намного от формулы, особенно на больших числах х.
...
Рейтинг: 0 / 0
02.02.2021, 15:34
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40040964
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
exp98
Участник
mayton
И желательно чтоб знания лежали так чтоб мы могли выводить из одних знаний - другие.
Забудем для начала о Гёделе либо о саморекурсивных утверждениях.
Предположу, что всё упрётся в неадекватность такой формальной реальности окружающему миру. Тогда придётся связывать всю базу с сенсорным восприятием. Потому что куда деться от индуктивных методов порождения. И некуда деться от экспертных заключений в доказательствах.
В принципе есть неплохой ДСМ-метод. В нём уже учтено индуктивное порождение утверждений (там это гипотезы). И как часто бывает, разговор непринуждённо переходит в плоскость концепций ИИ, у к-рого д.б. руки-ноги-голова и инстинкт сохранения.
Я не потяну эту тему.
...
Рейтинг: 0 / 0
02.02.2021, 18:42
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40040972
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Авто-рекурсивные правила учтены в Prolog. И даже используются.
...
Рейтинг: 0 / 0
02.02.2021, 19:07
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40040973
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Gennadiy Usov
mayton
Для целых чисел можно pow(x, 2/3) попробовать заменить на метод Ньютона.

Тогда мы не будем ограничены double точностью.
Не всё хорошо с 2/3, хотя удобно.

Изменение одной циферки в конце числа
и уже "улетаешь" намного от формулы, особенно на больших числах х.

Мне просто показалось что 0.667 - это приближенные 2/3.

Если нет - то и не надо.
...
Рейтинг: 0 / 0
02.02.2021, 19:08
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40040980
Gennadiy Usov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Gennadiy Usov
Гость
Gennadiy Usov
Найдена функция

y1 = pow(float(x), 0.666683)*1.4418
Расчёты на компьютере до х = 146 000 000 показали отклонение реальных значений от формулы не более, чем 4.
Если рассматривать функцию от х =3000000 до х = 202000000,
то в начале расчёта расхождение значения функции и реального значения - 3, далее -4, затем -1, далее +1.
...
Рейтинг: 0 / 0
02.02.2021, 19:54
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40040983
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
exp98

В принципе есть неплохой ДСМ-метод. В нём уже учтено индуктивное порождение утверждений (там это гипотезы). И как часто бывает, разговор непринуждённо переходит в плоскость концепций ИИ, у к-рого д.б. руки-ноги-голова и инстинкт сохранения.
Я не потяну эту тему.

Поискал что такое ДСМ.

Нашел Диагностическое и статистическое руководство по психическим расстройствам

Ухахаха!

Предлагаю следующий тезис. Или знание.

Код: sql
1.
2.
3.
1) Натуральные числа бывают четные и нечетные.

2) Простые числа - всегда нечетные кроме двойки.
...
Рейтинг: 0 / 0
02.02.2021, 20:31
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40040989
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
tchingizПривилегированный пользователь
Участник
mayton
exp98
Наверное надо заносить в БД аксиомы и правила формирования утверждений, и правила проверки исинности (вроде как "Бурбаки" этим занимаются). Но я имею ввиду, что это была отправная точка исследования или промежуточная вспомогательная точка.

(раскачиваясь в кресле)

Хм... мне нравися эта тема. Только я-бы предложил не базу данных а базу знаний. И желательно чтоб знания лежали
так чтоб мы могли выводить из одних знаний - другие.

(раскачиваясь в кресле)

чем эта замечательная идея от Пролога отличается?
...
Рейтинг: 0 / 0
02.02.2021, 21:26
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40040997
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
tchingiz
mayton
пропущено...

(раскачиваясь в кресле)

Хм... мне нравися эта тема. Только я-бы предложил не базу данных а базу знаний. И желательно чтоб знания лежали
так чтоб мы могли выводить из одних знаний - другие.

(раскачиваясь в кресле)

чем эта замечательная идея от Пролога отличается?

Ничем. Пока можно делать на Прологе.
...
Рейтинг: 0 / 0
02.02.2021, 22:53
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40041051
Gennadiy Usov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Gennadiy Usov
Гость
В сообщении 22272618 была программа вычислений: y^n mod(x), y < x.

Далее представлена программа определения таких множеств Рх,
для которых существуют значения n такие,
при которых все значения y^n mod(x), y < x разные.
Код: sql
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
dd = 0					
N = 500					
S = N + 1					
for x in range(3, N):					
	Q = [0]				
	for n1 in range(1, S ):				
		Q.append(0)			
	for n in range(3, S):				
		R=[0]			
		for y in range(1, x ):			
			R.append(0)		
		for y in range(1, x ):			
			v = pow(y, n)		
			dv = v % x		
			if dv == 0:		
				Q[n] = 1	
				break	
			if R[dv] == 0:		
				R[dv] = 1	
			else: 		
				Q[n] = 1	
				break	
	q = 0				
	for y in range(1, S ):				
		q = q +Q[y]			
	if q != S - 3:				
		dd +=1			
		print(x)			
print("-",dd)

Получается:
Код: sql
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
	3
5
6
7
10
11
13
14
15
17
19
21
22
23
26
29
и т.д.			
('-', 304)

Из 500 чисел х только для 304-х чисел х найдены такие множества Рх.
(при этом х не делится на квадраты простых чисел, кроме 1)
...
Рейтинг: 0 / 0
03.02.2021, 09:25
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40041172
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
tchingizПривилегированный пользователь
Участник
mayton
tchingiz
пропущено...

(раскачиваясь в кресле)

чем эта замечательная идея от Пролога отличается?

Ничем. Пока можно делать на Прологе.

А чем взлет пролога в 1985 году закончился?
...
Рейтинг: 0 / 0
03.02.2021, 14:38
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40041173
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
tchingizПривилегированный пользователь
Участник
Gennadiy Usov,
Что за язык?
...
Рейтинг: 0 / 0
03.02.2021, 14:39
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40041175
Gennadiy Usov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Gennadiy Usov
Гость
tchingiz
Gennadiy Usov,
Что за язык?
Вчера был Python. 22272584
...
Рейтинг: 0 / 0
03.02.2021, 14:44
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40041182
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
tchingizПривилегированный пользователь
Участник
Gennadiy Usov,
Сенкс
...
Рейтинг: 0 / 0
03.02.2021, 14:53
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40041188
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
tchingiz
mayton
пропущено...

Ничем. Пока можно делать на Прологе.

А чем взлет пролога в 1985 году закончился?

Увы мне увы. Я не настолько глубоко следил за историей в этом направлении.
...
Рейтинг: 0 / 0
03.02.2021, 15:01
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40041207
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
tchingizПривилегированный пользователь
Участник
mayton
tchingiz
пропущено...

А чем взлет пролога в 1985 году закончился?

Увы мне увы. Я не настолько глубоко следил за историей в этом направлении.

эмм, ну тогда языки считали по поколениям.
Было, как мне кажется 3е, а прологу прочили 5е поколение и мировое лидерство.
Японцев все хвалили какие они передовые во всем,
японцы топили за пролог.
Сейчас, что - то слышно по поводу пролога?

подсказка: взлет пролога кончился ничем.


Но я не против того, что бы поработать и пораскинуть мозгами,
особенно если это делают другие.
...
Рейтинг: 0 / 0
03.02.2021, 15:15
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40041274
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
exp98
Участник
tchingiz, П. лишь движок. Аксиоматику для матреальности придётся вносить ручками.

mayton
Поискал что такое ДСМ.
А поискать "ДСМ-метод" или в контексте с ИИ ? или у автора: Финн К. ?
mayton2) Простые числа - всегда нечетные кроме двойки. Ведь это не Пролог придумал. А ты писал про имитацию физической реальности, я по аналогии про имитацию матреальности.
П. доказывает утверждения. Индуктивное порождение утв-ний в П. не запланировано. Чесгря, не знаю даже, были ли попытки через П. реализовать "оо"?

85г. - Всеяпонский проект за неск лет компов 5-го поколения, способных реализовать ИИ. П. отводилось ведущее место. Была брошюрка на русском. Захлебнулись. Оказалось, одного желания недостаточно. Отчёты дали в общий доступ. Не читал.
...
Рейтинг: 0 / 0
03.02.2021, 16:56
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40041289
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
exp98
Участник
Чтобы прочувствовать сложность затеи, попробуйте прикинуть, что нужно сделать предварительно для нижеследующего шага, нарастившего матреальность ищчо до ВОВ.
Дано (даже с подсказками).
понятие "метрика"
понятие "поле"
понятие Q - рац-ные числа
(и всё, с ними ретроспективно связанное: N, Z, незамкнотость относительно операции ...)

Получить.
"поле R" - действительные
"поле C" - компл.
"поле p-adic".
...
Рейтинг: 0 / 0
03.02.2021, 17:25
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40041292
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
exp98
Участник
Да, блин, далеко ходить не надо, мы в какой теме? Вот!
Наверное Ф. сидел вечерком и составлял пасьянсы. Или как сейчас их называют сочетания из N по К: "Какую бы мне" - думает, - "теперь формулу составить, чтоб навека меня запомнили?" Сочетал так-сяк ...
y^0 = z^0
y^0 = z^1
y^0 = z^2
....
x^0 +y^0= z^0
....
И досочеталcя до
x^3 +y^3= z^3
x^4 +y^4= z^4
.....
"Ну-у, бли-ин," - протянул он - "если уж я не доказал, то не скоро ещё докажут."
Так и оставил.

Так и представляю себе, как Пролог чешет репу и говорит: Э-э, да тут компутерный помощник требуется.
...
Рейтинг: 0 / 0
03.02.2021, 17:42
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40041300
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
exp98

mayton2) Простые числа - всегда нечетные кроме двойки.
Ведь это не Пролог придумал. А ты писал про имитацию физической реальности, я по аналогии про имитацию матреальности.
П. доказывает утверждения. Индуктивное порождение утв-ний в П. не запланировано. Чесгря, не знаю даже, были ли попытки через П. реализовать "оо"?

Хорошо. Я был не прав по поводу утверждения о нечетности. Тоесть я не так его вывел.

Простые числа являются нечетными кроме двойки по определению. Потому что у всех
нет делителя 2.

Но я хотел чтобы мы делали такие заключения не сами. А сначала взяв аксиомы и теоремы
теории чисел. (грубо говоря википедию). Заложили это как факты и правила для Prolog-машины.

И потом спросили ее ... примерно то что спрашивает Усов. Например частные случаи доказательтва ВТФ.
Или - есть ли четные числа ... и т.д.
...
Рейтинг: 0 / 0
03.02.2021, 17:53
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40041306
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
tchingizПривилегированный пользователь
Участник
exp98,
сколько можно писать эти аски-шные каракули
...
Рейтинг: 0 / 0
03.02.2021, 18:21
| Ответить | Цитировать | Написать  
Немного о ВТФ
    #40041373
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
exp98
Участник
mayton, это называется дедукцией. Или почти ею. Грубо говоря, всевозможные сочетания из БД. А мои примеры про индукцию и т.п., когда чего-то в БД недостаточно. Откуда, что и как тогда взять? и возможно ли взять?

авторсколько можно писать эти аски-шные каракули Не понял, если про два кругляша, то я впервые в жизни. Иначе я ничего не понял.
...
Рейтинг: 0 / 0
03.02.2021, 22:04
| Ответить | Цитировать | Написать  
25 сообщений из 239, страница 3 из 10
  3  все
Форумы / Программирование [игнор отключен] [закрыт для гостей] / Немного о ВТФ
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение
NoSQL.ru       Новости, Чат       Фотоальбом: Участники, Встречи
Закрыть
start [/forum/topic.php?fid=16&msg=40041182&tid=1339636]:
 0ms
get settings:
 10ms
get forum list:
 14ms
check forum access:
 4ms
check topic access:
 4ms
track hit:
 145ms
get topic data:
 11ms
get forum data:
 2ms
get page messages:
 62ms
get tp. blocked users:
 1ms
others: 14ms
total:  267ms
созд. / загр.: 267ms
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]