{"id":27303,"date":"2023-09-27T04:51:28","date_gmt":"2023-09-27T02:51:28","guid":{"rendered":"https:\/\/xmau.com\/wp\/notiziole\/?p=27303"},"modified":"2023-09-25T18:53:03","modified_gmt":"2023-09-25T16:53:03","slug":"i-numeri-di-dedekind","status":"publish","type":"post","link":"https:\/\/xmau.com\/notiziole\/2023\/09\/27\/i-numeri-di-dedekind\/","title":{"rendered":"I numeri di Dedekind"},"content":{"rendered":"

\"funzioni<\/a> Il matematico tedesco Richard Dedekind \u00e8 soprattutto noto per la sua definizione dell’insieme dei numeri reali (i “tagli di Dedekind”), e per la sua corrispondenza con Georg Cantor sulla teoria dei numeri transfiniti. Come molti matematici, per\u00f2, ha anche fatto altre scoperte: tra le altre cose, nel 1897 studi\u00f2 una successione di numeri che in suo onore sono detti numeri di Dedekind<\/a>. (Al momento in cui scrivo non c’\u00e8 la voce di Wikipedia in lingua italiana, ma potete sempre scriverla voi :-) )<\/p>\n

I numeri di Dedekind contano quanti sistemi di un certo tipo si possono costruire con 0, 1, 2, … elementi. Che tipo di sistemi? Beh, ce n’\u00e8 pi\u00f9 di uno, il che fa capire che il concetto ha un certo qual interesse teorico, visto che rappresentazioni apparentemente diverse si scoprono essere equivalenti: qui ne mostro tre. Il primo sistema \u00e8 quello delle funzioni booleane monotone<\/b> di n<\/i> variabili. Una funzione booleana ha come ingresso n<\/i> variabili che possono assumere solo due valori (Vero e Falso, V\/F), ed essendo una funzione ha un solo valore di uscita, sempre V o F. In informatica si usano spesso funzioni a due variabili, come AND, OR, XOR, ma nulla ci vieta di aumentare il numero di variabili. Una siffatta funzione si dice monotona se quando cambiamo un qualsiasi valore di input da F a V si possono dare solo due casi: l’output resta lo stesso oppure passa anch’esso da F a V. La funzione AND \u00e8 per esempio monotona, mentre XOR non lo \u00e8 perch\u00e9 XOR(V,F) = V ma XOR(V,V) = F. Il secondo sistema \u00e8 quello delle anticatene<\/b><\/a>. Dato un insieme parzialmente ordinato, un’anticatena \u00e8 un sottoinsieme di questo insieme in cui nessun elemento \u00e8 contenuto in un altro elemento. Per esempio, se prendiamo come insieme parzialmente ordinato quello dei divisori di 30, {2, 3, 5} e {6, 10, 15} sono delle anticatene, poich\u00e9 nessun elemento dell’insieme ne divide un altro, mentre {2, 5, 15} non lo \u00e8 perch\u00e9 5 \u00e8 un divisore di 15. Se prendiamo un insieme di n<\/i> elementi e consideriamo il suo insieme delle parti, cio\u00e8 tutti i suoi sottoinsiemi possibili, abbiamo un certo numero di possibili anticatene. Per n<\/i>=2, cio\u00e8 con i soli elementi 0 e 1, le anticatene possibili sono {{0,1}}, {{0},{1}}, {{0}}, {{1}}, {{∅}} e {∅} (notate la differenza tra le ultime due anticatene; la seconda \u00e8 quella vuota, la prima contiene l’insieme vuoto). Il terzo modo consiste infine nel prendere un ipercubo a n<\/i> dimensioni, metterlo in modo che si poggi su un vertice e abbia il vertice opposto perpendicolare all’iperpiano passante da quel vertice; in due dimensioni abbiamo un quadrato ruotato di 45 gradi, come vedete nel disegno qui sotto. Se la regola \u00e8 “non possiamo colorare di blu un vertice dell’ipercubo se ce ne sono di bianchi pi\u00f9 in alto”, otteniamo di nuovo sei possibili colorazioni.<\/p>\n

\"\"<\/a><\/p>\n

Insomma, il numero di Dedekind D(n<\/i>) corrisponde al numero di combinazioni possibili. Quanti sono? Dedekind trov\u00f2 che i valori da D(0) a D(4) sono rispettivamente 2, 3, 6, 20, 168. Nel 1940 Randolph Church calcol\u00f2 (immagino con una calcolatrice elettrica) D(5) = 7581; nel 1946 Morgan Ward calcol\u00f2 D(6) = 7.828.354; nel 1965 di nuovo Church calcol\u00f2 D(7) = 2.414.682.040.998; nel 1991 Doug Wiedemann calcol\u00f2 D(8) = 56.130.437.228.687.557.907.88. La successione OEIS corrispondente<\/a> si ferm\u00f2 l\u00ec fino a questa primavera, quando due diversi articoli<\/b> mostrarono indipendentemente che D(9) = 286.386.577.668.298.411.128.469.151.667.598.498.812.366. Come racconta Quanta<\/a>, il problema era che D(9) non pu\u00f2 essere calcolato direttamente per la banale ragione che non esisterebbe sufficiente potenza di calcolo in tutto il pianeta, e dunque occorre trovare delle scorciatoie. Ottenere lo stesso risultato calcolandolo in due modi differenti ci permette di essere pi\u00f9 che ragionevolmente certi che esso sia quello giusto: anche in matematica ogni tanto bisogna fidarsi dell’output dei computer!<\/p>\n

Si potr\u00e0 mai conoscere D(10)? Secondo Patrick De Causmaecker, coautore di uno degli articoli, tra qualche decennio potremmo farcela. Ma Christian J\u00e4kel, che ha scritto l’altro articolo, \u00e8 scettico. La cosa buffa \u00e8 che per\u00f2 esiste una stima analitica che sbaglia di pochi punti percentuali il valore di D(n<\/i>). In altre parole, abbiamo un’idea abbastanza precisa di quante sono queste funzioni, ma il diavolo si nasconde nei dettagli…<\/p>\n

Immagine di Watchduck, da Wikimedia Commons<\/a><\/a>.<\/small><\/p>\n","protected":false},"excerpt":{"rendered":"

Il matematico tedesco Richard Dedekind \u00e8 soprattutto noto per la sua definizione dell’insieme dei numeri reali (i “tagli di Dedekind”), e per la sua corrispondenza con Georg Cantor sulla teoria dei numeri transfiniti. Come molti matematici, per\u00f2, ha anche fatto altre scoperte: tra le altre cose, nel 1897 studi\u00f2 una successione di numeri che in […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","ast-disable-related-posts":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"activitypub_content_warning":"","activitypub_content_visibility":"","activitypub_max_image_attachments":3,"activitypub_interaction_policy_quote":"anyone","activitypub_status":"","footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[214],"tags":[],"class_list":["post-27303","post","type-post","status-publish","format-standard","hentry","category-matematica_light"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/phh2yV-76n","jetpack-related-posts":[{"id":13929,"url":"https:\/\/xmau.com\/notiziole\/2016\/11\/05\/_essays-on-the-theory-of-numbers_-libro\/","url_meta":{"origin":27303,"position":0},"title":"_Essays on the Theory of Numbers_ (libro)","author":".mau.","date":"2016-11-05","format":false,"excerpt":"I numeri reali nelle parole di chi li ha per primo definiti","rel":"","context":"In "rec-2016"","block_context":{"text":"rec-2016","link":"https:\/\/xmau.com\/notiziole\/category\/recensioni\/recensioni-2016\/"},"img":{"alt_text":"9780486210100","src":"https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2016\/10\/9780486210100.jpg?resize=350%2C200","width":350,"height":200},"classes":[]},{"id":23398,"url":"https:\/\/xmau.com\/notiziole\/2021\/12\/28\/numeri-razionali-e-numeri-irrazionali-libro\/","url_meta":{"origin":27303,"position":1},"title":"Numeri razionali e numeri irrazionali (libro)","author":".mau.","date":"2021-12-28","format":false,"excerpt":"Interessante la parte sulle approssimazioni degli irrazionali","rel":"","context":"In "rec-2021"","block_context":{"text":"rec-2021","link":"https:\/\/xmau.com\/notiziole\/category\/recensioni\/recensioni-2021\/"},"img":{"alt_text":"copertina","src":"https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2021\/12\/niven.jpg?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]},{"id":6229,"url":"https:\/\/xmau.com\/notiziole\/2008\/07\/23\/0999999_1\/","url_meta":{"origin":27303,"position":2},"title":"0,999999… = 1","author":".mau.","date":"2008-07-23","format":false,"excerpt":"Una domanda ricorrente, una risposta forse un po' troppo complicata","rel":"","context":"In "matematica_light"","block_context":{"text":"matematica_light","link":"https:\/\/xmau.com\/notiziole\/category\/matematica_light\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":25647,"url":"https:\/\/xmau.com\/notiziole\/2023\/04\/01\/i-numeri-reali-libro\/","url_meta":{"origin":27303,"position":3},"title":"I numeri reali (libro)","author":".mau.","date":"2023-04-01","format":false,"excerpt":"Approccio standard","rel":"","context":"In "rec-2023"","block_context":{"text":"rec-2023","link":"https:\/\/xmau.com\/notiziole\/category\/recensioni\/rec-2023\/"},"img":{"alt_text":"","src":"https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2023\/01\/i-numeri-reali.jpg?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]},{"id":30417,"url":"https:\/\/xmau.com\/notiziole\/2025\/01\/22\/linee-dei-numeri-farlocche\/","url_meta":{"origin":27303,"position":4},"title":"Linee dei numeri farlocche","author":".mau.","date":"2025-01-22","format":false,"excerpt":"Un modo diverso di vedere la retta dei numeri: \u00e8 l'Unica Vera Retta","rel":"","context":"In "mate-light-2025"","block_context":{"text":"mate-light-2025","link":"https:\/\/xmau.com\/notiziole\/category\/matematica_light\/matelight-2025\/"},"img":{"alt_text":"dove sta il punto p?","src":"https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2025\/01\/tagliodedekind.png?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]},{"id":35744,"url":"https:\/\/xmau.com\/notiziole\/2026\/02\/12\/statistiche-del-sito-per-gennaio-2026\/","url_meta":{"origin":27303,"position":5},"title":"Statistiche del sito per gennaio 2026","author":".mau.","date":"2026-02-12","format":false,"excerpt":"Dopo il boom dei mesi passati, mi sa che i crawler per gli LLM si siano stancati, o almeno abbiano preso una pausa, mentre gli utenti reali restano. Date un'occhiata: Visitatori unici 29.829 (-22763) Numero di visite 82.992 (-12801) Pagine accedute 268.718 (-22587) Hits 466.189 (+19178) Banda usata 6,65 (+0,74\u2026","rel":"","context":"In "admin"","block_context":{"text":"admin","link":"https:\/\/xmau.com\/notiziole\/category\/admin\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]}],"jetpack_likes_enabled":true,"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts\/27303","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/comments?post=27303"}],"version-history":[{"count":4,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts\/27303\/revisions"}],"predecessor-version":[{"id":27309,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts\/27303\/revisions\/27309"}],"wp:attachment":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/media?parent=27303"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/categories?post=27303"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/tags?post=27303"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}