Джон Селридж - John Selfridge

Джон Селридж
Туған	(1927-02-17)17 ақпан, 1927 ж Кетчикан, Аляска, АҚШ
Өлді	31 қазан 2010 ж(2010-10-31) (83 жаста) [1]
Ұлты	Американдық
Алма матер	Калифорния университеті, Лос-Анджелес
Ғылыми мансап
Өрістер	Аналитикалық сандар теориясы
Мекемелер	Урбан-Шампейндегі Иллинойс университеті Солтүстік Иллинойс университеті
Докторантура кеңесшісі	Теодор Моцкин

Джон Льюис Селридж (17 ақпан 1927 ж.) Кетчикан, Аляска - 31 қазан 2010 ж Декалб, Иллинойс^[1]), американдық болған математик салаларына үлес қосқан аналитикалық сандар теориясы, есептеу сандарының теориясы, және комбинаторика.

Селридж оны қабылдады Ph.D. 1958 жылы Калифорния университеті, Лос-Анджелес басшылығымен Теодор Моцкин.^[2]

1962 жылы ол 78,557 а Sierpinski нөмірі; ол мұны қашан көрсетті к = 78,557, форманың барлық сандары к2ⁿ + 1 бар фактор ішінде жабын жиынтығы {3, 5, 7, 13, 19, 37, 73}. Бес жылдан кейін ол және Sierpiński 78,557 ең кіші Сиерпинский саны деген болжамды, демек, Сиерпинский есебіне жауап берді. A таратылған есептеу деп аталатын жоба Он жеті немесе бюст қазіргі уақытта 2017 жылдың сәуір айындағы жағдай бойынша осы мәлімдемені дәлелдеуге тырысуда^{[жаңарту]} бастапқы он жеті мүмкіндіктің бесеуі ғана қалады.

1964 жылы Селфридж және Александр Хурвиц 14-ші екенін дәлелдеді Ферма нөмірі ${ displaystyle 2 ^ {2 ^ {14}} + 1}$ құрама болды.^[3]Алайда олардың дәлелдеуі факторды қамтамасыз ете алмады. 2010 жылға дейін ғана 14-ші Ферма санының бірінші факторы табылды.^[4][5]

1975 жылы Джон Бриллхарт, Деррик Генри Леммер және Селридж р-дың тек ішінара факторизациясын беріп, оның басымдылығын дәлелдеу әдісін жасады б - 1 және б + 1.^[6]Бірге Сэмюэль Вагстафф олар да қатысты Каннингем жобасы.

Пол Эрдогспен бірге Селридж 150 жылдық есепті шешіп, дәйекті сандардың көбейтіндісі ешқашан қуат болмайтынын дәлелдеді. Дәлелді табу үшін көп жылдар қажет болды және Джон компьютерлерді кеңінен қолданды, бірақ дәлелдеудің соңғы нұсқасы есептеудің қарапайым мөлшерін қажет етеді, яғни $ f (n) $ оңай есептелген функциясын $ 30,000 кезектес мәндері үшін бағалайды.n. Селридж зардап шеккен жазушының блогы және нәтижесін жазу үшін бұрынғы студентке ақы төледі, оның ұзындығы екі парақ болса да.

Математик ретінде Селфридж компьютермен жұмыс жасайтын сандық теоретиктердің бірі болды. Оның сөзбен де тәсілі болды. Есептеудің тағы бір теоретигі болған кезде Сэмюэль Вагстафф, Ферманың соңғы теоремасы туралы өзінің компьютерлік зерттеулері туралы Блумингтон штатындағы Иллинойс сан теориясында жартыжылдықта дәріс оқығанда, біреу одан қандай әдіс қолданғанын сұрап, жауап беруді талап етті. Вагстафф сол жерде фаралардан соқыр бұғы сияқты тұрды, селфридж оған көмектескенше, не айтарын білмеді. «Ол компьютерге ақымақтық принципін қолданды». Вагстафф кейінірек бұл фразаны NSF ұсынысы сияқты қаржыландыру сұрайтын ғылыми ұсыныста қолданғыңыз келмейтінін айтты.

Селфридж сонымен қатар Selfridge – Conway дискретті процедурасы құру үшін тортты қызғанышсыз кесу үш адамның арасында. Селфридж мұны 1960 жылы дамытты және Джон Конвей 1993 жылы өз бетінше ашты. Олардың ешқайсысы нәтижені ешқашан жарияламады, бірақ Ричард Гай 1960 жылдары көптеген адамдарға Селфридждің шешімін айтқан болатын, және бұл, сайып келгенде, олардың екеуіне бірнеше кітаптар мен мақалаларда жатқызылды.

Факультеттерде қызмет еткен селфридж Урбан-Шампейндегі Иллинойс университеті және Солтүстік Иллинойс университеті 1971-1991 ж.ж. (зейнеткерлікке шыққан), 1972–1976 және 1986–1990 жж. Математика ғылымдары кафедрасының төрағасы. Ол жауапты редактор болды. Математикалық шолулар 1978 жылдан бастап 1986 жылға дейін оның жұмысын компьютерлендіруді қадағалайды [1]. Ол негізін қалаушы болды Сан теориясының қоры [2], ол өзінің атын атады Селфридж сыйлығы оның құрметіне.

Ферма сандары туралы Селридждің болжамдары

Селридриж туралы келесі болжам жасады Ферма сандары F_n = 2²ⁿ + 1. Келіңіздер ж(n) -ның нақты жай көбейткіштерінің саны болуы керек F_n (жүйелі A046052 ішінде OEIS ). 2016 жылға қатысты ж(n) дейін ғана белгілі n = 11, және ол монотонды. Селфрид сыртқы түріне қарама-қайшы, ж(n) монотонды емес. Оның болжамына сүйене отырып, ол көрсетті: оның ақиқаттығы үшін жеткілікті (бірақ қажет емес) шарт - басқа Ферманың болуы қарапайым белгілі бестен тыс (3, 5, 17, 257, 65537).^[7]

Селфридждің басымдылықты сынау туралы болжамы

Бұл гипотезаны Selfridge-ден кейін PSW гипотезасы деп те атайды, Карл Померанс, және Сэмюэль Вагстафф.

Келіңіздер б тақ сан болуы керек б ≡ ± 2 (мод 5). Селфрид егер бұл болса

• 2^б−1 ≡ 1 (мод б) және сонымен бірге
• f_б+1 ≡ 0 (мод б),

қайда f_к болып табылады кмың Фибоначчи нөмірі, содан кейін б қарапайым сан, және ол мұны жоққа шығаратын мысал үшін 500 доллар ұсынды. Сондай-ақ, болжамның шындық екенін дәлелдеу үшін ол 20 доллар ұсынды. Енді бұл сыйлықты «Сандар теориясы» қоры жабады. Мысал іс жүзінде сізге $ 620 береді, өйткені Сэмюэль Вагстафф мысал немесе дәлел үшін $ 100 ұсынады және Карл Померанс мысал үшін $ 20, дәлелдеу үшін $ 500 ұсынады. Selfridge факторизацияны қажет етеді, бірақ Pomerance оны қамтамасыз етпейді. Болжам әлі 2015 жылдың 23 тамызында ашық болды. Осыған байланысты сынақ f_б−1 ≡ 0 (мод б) үшін б ≡ ± 1 (мод 5) жалған және мысалы, 6 сандық қарсы мысал.^[8][9] +1 (мод 5) үшін ең кіші қарсы мысал - 6601 = 7 × 23 × 41, ал −1 (мод 5) үшін ең кіші - 30889 = 17 × 23 × 79. Померанс эвристикасының бұл болжамды көрсетуі мүмкін екендігі белгілі жалған (демек, қарсы мысал болуы керек).

Сондай-ақ қараңыз

• Sierpinski нөмірі
• Жаңа Мерсенн гипотезасы
• Ландер, Паркин және Селридрид болжамдары
• Wolfram MathWorld-тағы Erdős – Selfridridge функциясы

Пайдаланылған әдебиеттер

Жарияланымдар

• Пирани, Ф.А. Е .; Мозер, Лео; Selfridge, Джон (1950). «Бастапқы мәселелер және шешімдер: шешімдер: E903». Am. Математика. Дс. 57 (8): 561–562. дои:10.2307/2307953. JSTOR  2307953. МЫРЗА  1527674.

• Карл Померанс; Джон Л. Селридж; Сэмюэл С. Вагстафф, кіші. (Шілде 1980). «Псевдопремалар 25 · 10 дейін⁹" (PDF). Математика. Есептеу. 35 (151): 1003–1026. дои:10.1090 / S0025-5718-1980-0572872-7. JSTOR  2006210.
• Эгган, Л. С .; Эгган, Питер С.; Selfridge, J. L. (1982). «Көпбұрышты сандардың көпбұрышты көбейтіндісі және Пелл теңдеуі». Фибоначчи Q. 20 (1): 24–28. МЫРЗА  0660755.
• Эрдос, П; Selfridge, J. L. (1982). «239-тің тағы бір сипаты және оған қатысты сұрақтар». Congr. Сан: 243–257. МЫРЗА  0681710.
• Лакампан, C. B.; Selfridge, J. L. (1985). «Үлкен қуатты сандар текше болып табылады». Рокки Тауы Дж. Математика. 15 (2): 459. дои:10.1216 / rmj-1985-15-2-459. МЫРЗА  0823257.
• Лакампан, C. B.; Selfridge, J. L. (1986). «Тізбектелген цифрлармен шаршылардың жұптары». Математика. Маг. 59 (5): 270–275. дои:10.2307/2689401. JSTOR  2689401. МЫРЗА  0868804.
• Блэр, В.Д .; Лакампан, C. B.; Selfridge, J. L. (1986). «Ескертулер: қалталы калькулятордағы үлкен сандарды факторингтеу». Am. Математика. Дс. 93 (10): 802–808. дои:10.2307/2322936. JSTOR  2322936. МЫРЗА  1540993.
• Гай, Р.К .; Лакампан, С.Б .; Selfridge, J. L. (1987). «Бір қарағанда қарапайым». Математика. Есептеу. 48 (177): 183–202. дои:10.1090 / s0025-5718-1987-0866108-3. МЫРЗА  0866108.
• Тренч, Уильям Ф .; Родригес, Р.С .; Шервуд, Х .; Резник, Брюс А .; Рубель, Ли А .; Голомб, Соломон В.; Киннон, Ник М .; Ердос, Павел; Selfridge, Джон (1988). «Есептер және шешімдер: қарапайым есептер: E3243 – E3248». Am. Математика. Дс. 95 (1): 50–51. дои:10.2307/2323449. JSTOR  2323449. МЫРЗА  1541238.
• Эрдос, П .; Лакампан, С.Б .; Selfridge, J. L. (1988). «Биномдық коэффициенттердің негізгі факторлары және онымен байланысты мәселелер». Acta Arith. 49 (5): 507–523. дои:10.4064 / aa-49-5-507-523. МЫРЗА  0967334.
• Бэтмен, П. Т .; Селридж, Дж. Л .; Wagstaff, S. S. (1989). «Жаңа Мерсенн болжам». Am. Математика. Дс. 96 (2): 125–128. дои:10.2307/2323195. JSTOR  2323195. МЫРЗА  0992073.
• Лакампан, С.Б .; Никол, С .; Selfridge, J. L. (1990). «Еркін емес сомалармен жиынтықтар». Сандар теориясы. де Грюйтер. 299–311 бб.
• Хауи, Джон М .; Selfridge, J. L. (1991). «Жартылай топ енгізу және арифметикалық функция». Математика. Proc. Camb. Филос. Soc. 109 (2): 277–286. дои:10.1017 / s0305004100069747. МЫРЗА  1085395.
• Эглтон, Р.Б .; Лакампан, С.Б .; Selfridge, J. L. (1992). «Эвлидтік квадрат өрістер». Am. Математика. Дс. 99 (9): 829–837. дои:10.2307/2324118. JSTOR  2324118. МЫРЗА  1191702.
• Ердос, П .; Лакампан, С.Б .; Selfridge, J. L. (1993). «Биномдық коэффициенттің ең кіші факторын бағалау». Математика. Есептеу. 61 (203): 215–224. дои:10.1090 / s0025-5718-1993-1199990-6. МЫРЗА  1199990.
• Лин, кантиан; Селридж, Дж. Л .; Шиуэ, Питер Джау-Шён (1995). «Периодтық бірін-бірі толықтыратын екілік тізбектер туралы жазба». J. тарақ. Математика. Тарақ. Есептеу. 19: 225–29. МЫРЗА  1358509.
• Қара ұста, Ричард; МакКаллум, Майкл; Selfridge, J. L. (1998). «Бүтін сандардың 3-тегіс көріністері». Am. Математика. Дс. 105 (6): 529–543. дои:10.2307/2589404. JSTOR  2589404. МЫРЗА  1626189.
• Қара ұста, Ричард; Ердос, Павел; Selfridge, J. L. (1999). «кластерлік жай бөлшектер». Am. Математика. Дс. 106 (1): 43–48. дои:10.2307/2589585. JSTOR  2589585. МЫРЗА  1674129.
• Ердос, Павел; Малуф, Дженис Л .; Селридж, Дж. Л .; Секерес, Эстер (1999). «Өнімі қуат болатын интервалдың жиынтықтары». Дискретті математика. 200 (1–3): 137–147. дои:10.1016 / s0012-365x (98) 00332-x. МЫРЗА  1692286.
• Гранвилл, Эндрю; Selfridge, J. L. (2001). «Интервалдағы бүтін сандардың көбейтіндісі, квадраттар модулі». Электрон. J. тарақ. 8 (1): # R5. МЫРЗА  1814512.