స్నెల్ నియమం
టాలమీ అనే గ్రీకు దేశస్తుడు ఈజిప్టు లోని అలెగ్జాండ్రియా అనే నగరంలో వుండేవాడు. టాలమీ వక్రీభవన కోణాల మధ్య సంబంధాన్ని కనుగొన్నాడు, కాని ఆ సిద్ధాంతము చిన్న కోణాలకు సరికాలేదు. వక్రీభవన సిద్ధాంతము గురించి మొదటగా బాగ్దాద్ కు చెందిన ఇబ్న్ శాల్, తన పుస్తకం "ఆన్ బర్నింగ్ మిర్రర్స్ అండ్ లెన్సెస్" లో వివరించాడు.అతను ఈ సిద్ధాంతాన్ని కటకముల ఆకారలని తెలుసుకొనదానికి ఉపయోగించాడు.1621 లో, Willebrord Snellius (Snell) అనే శాస్త్రవేత్త గణిత శాస్త్ర ప్రకారంగా స్నెల్స్ నియమాన్ని రాశాడు.ఫ్రెంచ్ లో స్నెల్స్ నియమాన్ని "la loi de Descartes" or "loi de Snell-Descartes " అని అంటారు.1678 లో స్నెల్స్ నియమాన్ని క్రిస్టియాన్ హుయ్గేన్స్ అనే శాస్త్రవేత్త సంపూర్ణంగా వివరించాడు.
గణిత శాస్త్ర చరిత్ర
ప్రసిద్ధ చారిత్రక ప్రతిపాదనలు (ఊహలు) చివరకు ఆధారసహితంగా నిరూపించబడ్డాయి. 1976లో, వోల్ఫ్‌గాంగ్ హాకెన్ మరియు కెన్నెత్ యాపెల్ నాలుగు వర్ణాల సిద్ధాంతాన్ని నిరూపించేందుకు కంప్యూటర్‌ను ఉపయోగించారు. ఇతరులు కనిపెట్టిన పరిజ్ఞానాన్ని ఉపయోగించి ఆండ్ర్యూ విల్స్ 1995లో ఫెర్మాట్ యొక్క చివరి సిద్ధంతాన్ని నిరూపించాడు. పాల్ కోహెన్ మరియు కుర్ట్ గోడెల్‌లు సమితి సిద్ధాంతం యొక్క ప్రామాణిక ధర్మాలు యొక్క సమవాయ ప్రతిపాదన స్వతంత్రమైనదని నిరూపించారు (అయితే దీని ఆమోదయోగ్యత ప్రశ్నార్థకంగా ఉంది). 1998లో థామస్ కాలిస్టెర్ హాలెస్ కెప్లెర్ ప్రతిపాదనను నిరూపించాడు.