Wiskundeforum

Hey iedereen,

Korte vraag: waar meldt men nieuwe stellingsbewijzen (in Nederland)? Ik meen een bewijs voor een oud vermoeden gevonden te hebben. Ik zou het graag hier posten voor controle, maar ik wil niet het risico lopen dat een andere forumbezoeker er met mijn werk vandoor gaat.

Alvast bedankt,
Rayu

Om wat voor vermoeden gaat het? Als je meent een bewijs te hebben gevonden voor een van de overige 6 milenniumproblemen die door het Clay Mathematics Institute zijn geformuleerd zou je je uitwerking van je bewijs ter controle naar de wiskundefaculteit van een van de universiteiten hier in Nederland kunnen sturen.

Het gaat om een korter bewijs voor het vierkleurenvermoeden dat zonder computer te verifiëren is.

Dat zou nog eens een primeur zijn. De vierkleurenstelling is al bewezen door Kenneth Appel en Wolfgang Haken. Ze brachten het vierkleurenprobleem terug tot een groot doch eindig aantal (vele honderden) speciale gevallen en lieten vervolgens een computer al deze speciale gevallen uitrekenen. Sommige wiskundigen beschouwen dit niet als een bewijs, omdat het de computer gebruikte, en ook zonder computer niet te controleren is.
Toen de twee hun bewijs aan een vriend toonden, zei hij vol afschuw: "God zou nooit toelaten dat het beste bewijs van zo een mooi theorema zo lelijk zou kunnen zijn."

Ik zou contact opnemen met een wiskundefaculteit, ergens in Nederland. Afspreken met een hoogleraar wiskunde en het hem voorleggen. Succes!

Ook van mijnentwege succes gewenst!

Kun je ons ook op de hoogte houden?

Bij mij kan je altijd terecht

Succes

Ik heb het bewijs aan mijn wiskunde-docenten voorgelegd en zij konden geen redeneerfouten ontdekken. Ik ga morgen contact opnemen met iemand die er nog iets meer over weet en dan weet ik het zeker. =]

En?

Ik hoop ook dat we nog iets horen van rayu.

Hey allemaal, ik ben net terug van vakantie en ik ga morgen alweer weg. Ik heb simpelweg gewoon geen tijd om een afspraak te maken om mijn bewijs te laten verifiëren. Ik heb een mail gestuurd naar een profielwerkstuk helpdesk aan een universiteit, maar ik heb daar nog niks van gehoord. Natuurlijk laat ik het weten als het gelukt is.

EDIT: Tot die tijd, als je iemand kent die er meer van weet (liefst iemand met een topologische achtergrond) stuur me dan even een PM. Ik ben tot woensdag nog in Nederland en dan pas weer met Hemelvaart.

Helpt een universiteit ook met een bewijs als je iets niet kunt falsificeren, wel voor een aantal waarden telkens correct uit komt, en als het (in mijn ogen, hoe zien ze dat?) onwaarschijnlijk is dat het gefalsificeerd wordt?