<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:dc="http://purl.org/dc/elements/1.1/">
	<channel>
		<title><![CDATA[MKLab - REFERENCE]]></title>
		<link>https://mklab.gr/</link>
		<description><![CDATA[MKLab - https://mklab.gr]]></description>
		<pubDate>Wed, 28 Oct 2026 05:49:27 +0000</pubDate>
		<generator>MyBB</generator>
		<item>
			<title><![CDATA[Advice for writing proofs]]></title>
			<link>https://mklab.gr/showthread.php?tid=2225</link>
			<pubDate>Mon, 28 Sep 2026 21:31:12 +0300</pubDate>
			<dc:creator><![CDATA[<a href="https://mklab.gr/member.php?action=profile&uid=1">mklabgr</a>]]></dc:creator>
			<guid isPermaLink="false">https://mklab.gr/showthread.php?tid=2225</guid>
			<description><![CDATA[<div style="text-align: justify;" class="mycode_align">Evan Chen’s <span style="font-weight: bold;" class="mycode_b">“Remarks on English”</span> is essentially a guide to <span style="font-weight: bold;" class="mycode_b">writing clear, rigorous mathematical proofs</span>, especially for olympiad mathematics. His central message is that a solution should not merely contain correct mathematics; it should make the <span style="font-weight: bold;" class="mycode_b">mathematical ideas easy to see</span>. He contrasts good and bad solutions to show that organization matters enormously: state the answer early, identify the <span style="font-weight: bold;" class="mycode_b">main idea</span>, separate important claims from routine calculations, use displayed equations, define objects precisely, and include diagrams when they are part of the reasoning. A longer solution can actually be <span style="font-weight: bold;" class="mycode_b">faster to read</span> than a short but poorly organized one. Chen particularly emphasizes that mathematical writing must never contain false statements, even temporarily, and that definitions deserve exceptional care because the reader cannot reconstruct an incorrect or incomplete definition for you. </div>
<br />
<div style="text-align: justify;" class="mycode_align">For <span style="font-weight: bold;" class="mycode_b">proof structure</span>, Chen recommends making the logical architecture explicit. In “find all” problems, first state the proposed solutions, verify that they work, and then prove that there are no others; for minimum/maximum problems, state the claimed value, demonstrate that it is attainable, and separately prove the required bound. Good exposition also means <span style="font-weight: bold;" class="mycode_b">leaving whitespace</span>, separating cases, naming important objects, and writing arguments forward rather than disguising them as backward reasoning. For students trying to become more concise, Chen argues that excessive length is usually caused not by “too much detail” but by <span style="font-weight: bold;" class="mycode_b">disorganized writing</span>; the solution is to rewrite it around a sequence of clear claims rather than simply deleting sentences. The overall philosophy is simple: <span style="font-weight: bold;" class="mycode_b">a mathematical proof should communicate its reasoning, not force the reader to reconstruct it.</span> <br />
<br />
<a href="https://web.evanchen.cc/handouts/english/english.pdf?hl=en-US" target="_blank" rel="noopener" class="mycode_url">ARTICLE [PDF]</a></div>]]></description>
			<content:encoded><![CDATA[<div style="text-align: justify;" class="mycode_align">Evan Chen’s <span style="font-weight: bold;" class="mycode_b">“Remarks on English”</span> is essentially a guide to <span style="font-weight: bold;" class="mycode_b">writing clear, rigorous mathematical proofs</span>, especially for olympiad mathematics. His central message is that a solution should not merely contain correct mathematics; it should make the <span style="font-weight: bold;" class="mycode_b">mathematical ideas easy to see</span>. He contrasts good and bad solutions to show that organization matters enormously: state the answer early, identify the <span style="font-weight: bold;" class="mycode_b">main idea</span>, separate important claims from routine calculations, use displayed equations, define objects precisely, and include diagrams when they are part of the reasoning. A longer solution can actually be <span style="font-weight: bold;" class="mycode_b">faster to read</span> than a short but poorly organized one. Chen particularly emphasizes that mathematical writing must never contain false statements, even temporarily, and that definitions deserve exceptional care because the reader cannot reconstruct an incorrect or incomplete definition for you. </div>
<br />
<div style="text-align: justify;" class="mycode_align">For <span style="font-weight: bold;" class="mycode_b">proof structure</span>, Chen recommends making the logical architecture explicit. In “find all” problems, first state the proposed solutions, verify that they work, and then prove that there are no others; for minimum/maximum problems, state the claimed value, demonstrate that it is attainable, and separately prove the required bound. Good exposition also means <span style="font-weight: bold;" class="mycode_b">leaving whitespace</span>, separating cases, naming important objects, and writing arguments forward rather than disguising them as backward reasoning. For students trying to become more concise, Chen argues that excessive length is usually caused not by “too much detail” but by <span style="font-weight: bold;" class="mycode_b">disorganized writing</span>; the solution is to rewrite it around a sequence of clear claims rather than simply deleting sentences. The overall philosophy is simple: <span style="font-weight: bold;" class="mycode_b">a mathematical proof should communicate its reasoning, not force the reader to reconstruct it.</span> <br />
<br />
<a href="https://web.evanchen.cc/handouts/english/english.pdf?hl=en-US" target="_blank" rel="noopener" class="mycode_url">ARTICLE [PDF]</a></div>]]></content:encoded>
		</item>
		<item>
			<title><![CDATA[Mathematical Atlas]]></title>
			<link>https://mklab.gr/showthread.php?tid=2209</link>
			<pubDate>Sat, 26 Sep 2026 23:55:12 +0300</pubDate>
			<dc:creator><![CDATA[<a href="https://mklab.gr/member.php?action=profile&uid=1">mklabgr</a>]]></dc:creator>
			<guid isPermaLink="false">https://mklab.gr/showthread.php?tid=2209</guid>
			<description><![CDATA[The <span style="font-weight: bold;" class="mycode_b">Mathematical Atlas</span> was a web-based “gateway to mathematics” designed to help readers navigate the major areas of mathematics, particularly mathematics at the <span style="font-weight: bold;" class="mycode_b">university level and above</span>, without attempting to function as a detailed research encyclopedia. Its goal was to introduce broad mathematical subjects, explain important ideas and milestone results, and show how different areas connect to one another. Rather than simply presenting isolated definitions, the Atlas was intended to give readers a <span style="font-weight: bold;" class="mycode_b">map of mathematics</span>—helping them understand the relationships between fields and identify where a particular topic belongs.<br />
<br />
A major feature was its emphasis on <span style="font-weight: bold;" class="mycode_b">orientation and further learning</span>: individual topics were accompanied by descriptions and pointers toward books, articles, websites, and other resources. In this respect, the Atlas served a different purpose from highly detailed reference sites such as MathWorld: it was more concerned with answering <span style="font-weight: bold;" class="mycode_b">“What is this area of mathematics, and where should I go next?”</span> than with providing exhaustive technical formulas or proofs. Contemporary descriptions specifically highlighted its broad coverage, accessible introductions, and connections between neighboring mathematical subjects. <br />
<br />
<br />
<a href="https://web.archive.org/web/20150417125053/http://www.math-atlas.org/" target="_blank" rel="noopener" class="mycode_url">ATLAS</a>]]></description>
			<content:encoded><![CDATA[The <span style="font-weight: bold;" class="mycode_b">Mathematical Atlas</span> was a web-based “gateway to mathematics” designed to help readers navigate the major areas of mathematics, particularly mathematics at the <span style="font-weight: bold;" class="mycode_b">university level and above</span>, without attempting to function as a detailed research encyclopedia. Its goal was to introduce broad mathematical subjects, explain important ideas and milestone results, and show how different areas connect to one another. Rather than simply presenting isolated definitions, the Atlas was intended to give readers a <span style="font-weight: bold;" class="mycode_b">map of mathematics</span>—helping them understand the relationships between fields and identify where a particular topic belongs.<br />
<br />
A major feature was its emphasis on <span style="font-weight: bold;" class="mycode_b">orientation and further learning</span>: individual topics were accompanied by descriptions and pointers toward books, articles, websites, and other resources. In this respect, the Atlas served a different purpose from highly detailed reference sites such as MathWorld: it was more concerned with answering <span style="font-weight: bold;" class="mycode_b">“What is this area of mathematics, and where should I go next?”</span> than with providing exhaustive technical formulas or proofs. Contemporary descriptions specifically highlighted its broad coverage, accessible introductions, and connections between neighboring mathematical subjects. <br />
<br />
<br />
<a href="https://web.archive.org/web/20150417125053/http://www.math-atlas.org/" target="_blank" rel="noopener" class="mycode_url">ATLAS</a>]]></content:encoded>
		</item>
		<item>
			<title><![CDATA[The Importance of Ethics in Mathematics]]></title>
			<link>https://mklab.gr/showthread.php?tid=1996</link>
			<pubDate>Tue, 15 Sep 2026 19:54:28 +0300</pubDate>
			<dc:creator><![CDATA[<a href="https://mklab.gr/member.php?action=profile&uid=1">mklabgr</a>]]></dc:creator>
			<guid isPermaLink="false">https://mklab.gr/showthread.php?tid=1996</guid>
			<description><![CDATA[The article <span style="font-weight: bold;" class="mycode_b">“The Importance of Ethics in Mathematics”</span> by Maurice Chiodo and Toby Clifton argues that mathematics should not be viewed as ethically neutral simply because mathematical statements themselves are abstract and objective. Mathematics becomes socially meaningful through its applications, and those applications can cause significant harm when used irresponsibly or without understanding their limitations. <br />
<br />
The authors highlight the 2007–08 financial crisis, where sophisticated mathematical models contributed to the creation and pricing of complex financial products whose risks were poorly understood, as well as targeted advertising, where mathematical modelling and machine learning enable highly individualized persuasion and potentially political manipulation. They also discuss predictive algorithms in criminal justice and alternative credit scoring, emphasizing that mathematical models can make consequential decisions about people while being difficult or impossible to properly validate.<br />
<br />
The central message is that <span style="font-weight: bold;" class="mycode_b">mathematicians themselves have an ethical responsibility for the consequences of their work</span>. They cannot simply rely on managers, companies, regulators, or the law to determine what is acceptable, since technological developments often move faster than regulation and managers may not understand the mathematical limitations of a system. Even pure mathematicians can face ethical questions—for example, publishing a mathematical algorithm capable of breaking widely used encryption. <br />
<br />
The authors therefore call for ethics to become part of mathematical education, much as it already is in fields such as medicine and engineering. Their broader argument is that, as mathematical and computational technologies increasingly influence society, mathematicians need to understand not only whether their mathematics is correct, but also <span style="font-weight: bold;" class="mycode_b">what their mathematics enables people and institutions to do with it</span>.<br />
<br />
<br />
<a href="https://ems.press/content/serial-article-files/11314" target="_blank" rel="noopener" class="mycode_url">ARTICLE [PDF]</a>]]></description>
			<content:encoded><![CDATA[The article <span style="font-weight: bold;" class="mycode_b">“The Importance of Ethics in Mathematics”</span> by Maurice Chiodo and Toby Clifton argues that mathematics should not be viewed as ethically neutral simply because mathematical statements themselves are abstract and objective. Mathematics becomes socially meaningful through its applications, and those applications can cause significant harm when used irresponsibly or without understanding their limitations. <br />
<br />
The authors highlight the 2007–08 financial crisis, where sophisticated mathematical models contributed to the creation and pricing of complex financial products whose risks were poorly understood, as well as targeted advertising, where mathematical modelling and machine learning enable highly individualized persuasion and potentially political manipulation. They also discuss predictive algorithms in criminal justice and alternative credit scoring, emphasizing that mathematical models can make consequential decisions about people while being difficult or impossible to properly validate.<br />
<br />
The central message is that <span style="font-weight: bold;" class="mycode_b">mathematicians themselves have an ethical responsibility for the consequences of their work</span>. They cannot simply rely on managers, companies, regulators, or the law to determine what is acceptable, since technological developments often move faster than regulation and managers may not understand the mathematical limitations of a system. Even pure mathematicians can face ethical questions—for example, publishing a mathematical algorithm capable of breaking widely used encryption. <br />
<br />
The authors therefore call for ethics to become part of mathematical education, much as it already is in fields such as medicine and engineering. Their broader argument is that, as mathematical and computational technologies increasingly influence society, mathematicians need to understand not only whether their mathematics is correct, but also <span style="font-weight: bold;" class="mycode_b">what their mathematics enables people and institutions to do with it</span>.<br />
<br />
<br />
<a href="https://ems.press/content/serial-article-files/11314" target="_blank" rel="noopener" class="mycode_url">ARTICLE [PDF]</a>]]></content:encoded>
		</item>
		<item>
			<title><![CDATA[Who Owns the Theorem?]]></title>
			<link>https://mklab.gr/showthread.php?tid=1993</link>
			<pubDate>Tue, 15 Sep 2026 19:41:03 +0300</pubDate>
			<dc:creator><![CDATA[<a href="https://mklab.gr/member.php?action=profile&uid=1">mklabgr</a>]]></dc:creator>
			<guid isPermaLink="false">https://mklab.gr/showthread.php?tid=1993</guid>
			<description><![CDATA[The article <span style="font-weight: bold;" class="mycode_b">“Who Owns the Theorem?” by Melvyn B. Nathanson</span> examines the unusual question of whether a mathematician can be said to “own” a mathematical theorem. Nathanson begins by contrasting mathematics with other sciences, where secrecy can have commercial or national-security implications. He recalls the 1970s controversy over the US National Security Agency’s attempt to impose pre-publication review on cryptographic research, and argues that mathematics is generally more open because mathematical truths have little direct commercial value. <br />
<br />
Once a theorem has been proved, however, an interesting ethical problem arises: if mathematician A discovers and proves a theorem but has not yet published it, does mathematician B have the right to use that theorem after learning about it, provided A is properly credited?<br />
<br />
Nathanson ultimately questions the very idea that mathematical truths can be privately owned. A theorem may be “yours” in the sense that you discovered and proved it, but mathematical truths themselves are not created by their discoverers—they are discovered and become part of a shared body of knowledge. Nevertheless, mathematicians sometimes keep results secret to prevent others from “scooping” them, particularly when publications, careers, promotions, prizes, or major conjectures are involved. <br />
<br />
The article therefore presents <span style="font-weight: bold;" class="mycode_b">mathematical ownership primarily as an ethical and professional question</span>: how should mathematicians balance priority and recognition with the fundamental communal nature of mathematical knowledge?<br />
<br />
<a href="https://ems.press/content/serial-article-files/12088" target="_blank" rel="noopener" class="mycode_url">ARTICLE [PDF]</a>]]></description>
			<content:encoded><![CDATA[The article <span style="font-weight: bold;" class="mycode_b">“Who Owns the Theorem?” by Melvyn B. Nathanson</span> examines the unusual question of whether a mathematician can be said to “own” a mathematical theorem. Nathanson begins by contrasting mathematics with other sciences, where secrecy can have commercial or national-security implications. He recalls the 1970s controversy over the US National Security Agency’s attempt to impose pre-publication review on cryptographic research, and argues that mathematics is generally more open because mathematical truths have little direct commercial value. <br />
<br />
Once a theorem has been proved, however, an interesting ethical problem arises: if mathematician A discovers and proves a theorem but has not yet published it, does mathematician B have the right to use that theorem after learning about it, provided A is properly credited?<br />
<br />
Nathanson ultimately questions the very idea that mathematical truths can be privately owned. A theorem may be “yours” in the sense that you discovered and proved it, but mathematical truths themselves are not created by their discoverers—they are discovered and become part of a shared body of knowledge. Nevertheless, mathematicians sometimes keep results secret to prevent others from “scooping” them, particularly when publications, careers, promotions, prizes, or major conjectures are involved. <br />
<br />
The article therefore presents <span style="font-weight: bold;" class="mycode_b">mathematical ownership primarily as an ethical and professional question</span>: how should mathematicians balance priority and recognition with the fundamental communal nature of mathematical knowledge?<br />
<br />
<a href="https://ems.press/content/serial-article-files/12088" target="_blank" rel="noopener" class="mycode_url">ARTICLE [PDF]</a>]]></content:encoded>
		</item>
		<item>
			<title><![CDATA[How Gödel’s Proof Works]]></title>
			<link>https://mklab.gr/showthread.php?tid=1861</link>
			<pubDate>Sat, 05 Sep 2026 23:56:15 +0300</pubDate>
			<dc:creator><![CDATA[<a href="https://mklab.gr/member.php?action=profile&uid=1">mklabgr</a>]]></dc:creator>
			<guid isPermaLink="false">https://mklab.gr/showthread.php?tid=1861</guid>
			<description><![CDATA[How Gödel’s Proof Works<br />
<span style="font-weight: bold;" class="mycode_b">Author:</span> Natalie Wolchover<br />
<span style="font-weight: bold;" class="mycode_b">Publication date:</span> July 14, 2020<br />
<span style="font-weight: bold;" class="mycode_b">Publisher:</span><span style="font-style: italic;" class="mycode_i">Quanta Magazine</span><br />
<br />
The article explains the central idea behind <span style="font-weight: bold;" class="mycode_b">Kurt Gödel’s incompleteness theorems</span>, which overturned the hope that mathematics could be based on a single axiomatic system that was both completely consistent and capable of proving every mathematical truth. Gödel showed that any sufficiently expressive, consistent formal system capable of arithmetic must contain statements that are true but cannot be proved within that system. Moreover, such a system cannot establish its own consistency using only its internal rules. <br />
<br />
The key technical device is <span style="font-weight: bold;" class="mycode_b">Gödel numbering</span>. Gödel assigns numbers to mathematical symbols and then encodes entire formulas as unique integers using prime factorization. For example, a sequence of symbols with codes &#36;a_1,a_2,\ldots,a_n&#36; can essentially be represented by a number of the form<br />
&#36;2a13a25a3⋯pnan.2^{a_1}3^{a_2}5^{a_3}\cdots p_n^{a_n}&#36;.<br />
Because prime factorization is unique, the original mathematical expression can be reconstructed from its number. Gödel extended this idea to entire proofs, allowing statements <span style="font-style: italic;" class="mycode_i">about formulas and proofs</span>—metamathematical statements—to be translated into ordinary statements about integers. Mathematics thereby acquires a way of talking about its <span style="font-weight: bold;" class="mycode_b">own syntax and provability</span>. <br />
<br />
Gödel then uses a sophisticated self-reference construction to produce a sentence &#36;G&#36; that effectively says <span style="font-weight: bold;" class="mycode_b">“&#36;G&#36; is not provable in this system.”</span> If the system could prove &#36;G&#36;, then &#36;G&#36; would be false, contradicting consistency. Therefore, assuming the system is consistent, &#36;G&#36; cannot be proved; but that makes what &#36;G&#36; says true. Thus there exists a <span style="font-weight: bold;" class="mycode_b">true but unprovable statement</span>, so the system is incomplete. Adding &#36;G&#36; as a new axiom does not solve the problem permanently: the enlarged system allows another Gödel-type sentence to be constructed. This establishes a permanent gap between <span style="font-weight: bold;" class="mycode_b">mathematical truth</span> and <span style="font-weight: bold;" class="mycode_b">formal provability</span>. <br />
<br />
Key takeaways<ul class="mycode_list"><li><span style="font-weight: bold;" class="mycode_b">Gödel numbering</span> turns formulas and proofs into integers, letting arithmetic encode statements about mathematics itself.<br />
</li>
<li>Gödel constructs a self-referential sentence &#36;G&#36; asserting its own unprovability.<br />
</li>
<li>A sufficiently powerful consistent axiomatic system therefore cannot be <span style="font-weight: bold;" class="mycode_b">both consistent and complete</span>.<br />
</li>
<li>Gödel’s second incompleteness theorem shows that such a system cannot, in the relevant formal sense, <span style="font-weight: bold;" class="mycode_b">prove its own consistency</span>. <br />
</li>
</ul>
<br />
<span style="font-weight: bold;" class="mycode_b">Central idea:</span> Gödel did not show that mathematics is unreliable; he showed that <span style="font-weight: bold;" class="mycode_b">formal axiomatic methods have intrinsic limits</span>. There will always be mathematical truths lying beyond what any one sufficiently powerful consistent formal system can prove.<br />
<br />
<a href="https://www.quantamagazine.org/how-godels-proof-works-20200714/" target="_blank" rel="noopener" class="mycode_url">ARTICLE</a> / <a href="https://drive.google.com/file/d/1sCQGdcOxCmPHmsteYgA8yiop7LBi5cGI/view?usp=drive_link" target="_blank" rel="noopener" class="mycode_url">ARTICLE [PDF]</a>]]></description>
			<content:encoded><![CDATA[How Gödel’s Proof Works<br />
<span style="font-weight: bold;" class="mycode_b">Author:</span> Natalie Wolchover<br />
<span style="font-weight: bold;" class="mycode_b">Publication date:</span> July 14, 2020<br />
<span style="font-weight: bold;" class="mycode_b">Publisher:</span><span style="font-style: italic;" class="mycode_i">Quanta Magazine</span><br />
<br />
The article explains the central idea behind <span style="font-weight: bold;" class="mycode_b">Kurt Gödel’s incompleteness theorems</span>, which overturned the hope that mathematics could be based on a single axiomatic system that was both completely consistent and capable of proving every mathematical truth. Gödel showed that any sufficiently expressive, consistent formal system capable of arithmetic must contain statements that are true but cannot be proved within that system. Moreover, such a system cannot establish its own consistency using only its internal rules. <br />
<br />
The key technical device is <span style="font-weight: bold;" class="mycode_b">Gödel numbering</span>. Gödel assigns numbers to mathematical symbols and then encodes entire formulas as unique integers using prime factorization. For example, a sequence of symbols with codes &#36;a_1,a_2,\ldots,a_n&#36; can essentially be represented by a number of the form<br />
&#36;2a13a25a3⋯pnan.2^{a_1}3^{a_2}5^{a_3}\cdots p_n^{a_n}&#36;.<br />
Because prime factorization is unique, the original mathematical expression can be reconstructed from its number. Gödel extended this idea to entire proofs, allowing statements <span style="font-style: italic;" class="mycode_i">about formulas and proofs</span>—metamathematical statements—to be translated into ordinary statements about integers. Mathematics thereby acquires a way of talking about its <span style="font-weight: bold;" class="mycode_b">own syntax and provability</span>. <br />
<br />
Gödel then uses a sophisticated self-reference construction to produce a sentence &#36;G&#36; that effectively says <span style="font-weight: bold;" class="mycode_b">“&#36;G&#36; is not provable in this system.”</span> If the system could prove &#36;G&#36;, then &#36;G&#36; would be false, contradicting consistency. Therefore, assuming the system is consistent, &#36;G&#36; cannot be proved; but that makes what &#36;G&#36; says true. Thus there exists a <span style="font-weight: bold;" class="mycode_b">true but unprovable statement</span>, so the system is incomplete. Adding &#36;G&#36; as a new axiom does not solve the problem permanently: the enlarged system allows another Gödel-type sentence to be constructed. This establishes a permanent gap between <span style="font-weight: bold;" class="mycode_b">mathematical truth</span> and <span style="font-weight: bold;" class="mycode_b">formal provability</span>. <br />
<br />
Key takeaways<ul class="mycode_list"><li><span style="font-weight: bold;" class="mycode_b">Gödel numbering</span> turns formulas and proofs into integers, letting arithmetic encode statements about mathematics itself.<br />
</li>
<li>Gödel constructs a self-referential sentence &#36;G&#36; asserting its own unprovability.<br />
</li>
<li>A sufficiently powerful consistent axiomatic system therefore cannot be <span style="font-weight: bold;" class="mycode_b">both consistent and complete</span>.<br />
</li>
<li>Gödel’s second incompleteness theorem shows that such a system cannot, in the relevant formal sense, <span style="font-weight: bold;" class="mycode_b">prove its own consistency</span>. <br />
</li>
</ul>
<br />
<span style="font-weight: bold;" class="mycode_b">Central idea:</span> Gödel did not show that mathematics is unreliable; he showed that <span style="font-weight: bold;" class="mycode_b">formal axiomatic methods have intrinsic limits</span>. There will always be mathematical truths lying beyond what any one sufficiently powerful consistent formal system can prove.<br />
<br />
<a href="https://www.quantamagazine.org/how-godels-proof-works-20200714/" target="_blank" rel="noopener" class="mycode_url">ARTICLE</a> / <a href="https://drive.google.com/file/d/1sCQGdcOxCmPHmsteYgA8yiop7LBi5cGI/view?usp=drive_link" target="_blank" rel="noopener" class="mycode_url">ARTICLE [PDF]</a>]]></content:encoded>
		</item>
		<item>
			<title><![CDATA[List of unsolved problems in mathematics]]></title>
			<link>https://mklab.gr/showthread.php?tid=910</link>
			<pubDate>Mon, 06 Jul 2026 23:32:47 +0300</pubDate>
			<dc:creator><![CDATA[<a href="https://mklab.gr/member.php?action=profile&uid=1">mklabgr</a>]]></dc:creator>
			<guid isPermaLink="false">https://mklab.gr/showthread.php?tid=910</guid>
			<description><![CDATA[<span style="color: #101418;" class="mycode_color"><span style="font-family: 'Linux Libertine', Georgia, Times, 'Source Serif 4', serif;" class="mycode_font"><span style="font-weight: bold;" class="mycode_b">List of unsolved problems in mathematics</span></span></span><br />
<br />
<span style="color: #101418;" class="mycode_color"><span style="font-family: 'Linux Libertine', Georgia, Times, 'Source Serif 4', serif;" class="mycode_font"><span style="font-weight: bold;" class="mycode_b">Summary</span></span></span><br />
<br />
<span style="color: #101418;" class="mycode_color"><span style="font-family: 'Linux Libertine', Georgia, Times, 'Source Serif 4', serif;" class="mycode_font"><span style="font-weight: bold;" class="mycode_b">The history of mathematics is filled with famous problems that resisted solution for decades or even centuries, and this list highlights many of the most important ones that remain open today. It brings together outstanding questions from virtually every branch of mathematics—including number theory, algebra, geometry, topology, graph theory, analysis, dynamical systems, set theory, and computer science—ranging from deceptively simple puzzles to deep conjectures with far-reaching consequences. Among the best-known are the six remaining Millennium Prize Problems, such as the Riemann hypothesis, P versus NP problem, and the Navier–Stokes existence and smoothness, each carrying a &#36;1 million prize for a correct solution. </span></span></span><br />
<br />
<span style="color: #101418;" class="mycode_color"><span style="font-family: 'Linux Libertine', Georgia, Times, 'Source Serif 4', serif;" class="mycode_font"><span style="font-weight: bold;" class="mycode_b">The article also places these problems in historical context by referencing influential collections such as Hilbert's problems, Landau's problems, Smale's problems, and the thousands of questions posed by Paul Erdős. Together, these unsolved problems illustrate that mathematics is a living and evolving discipline, where every major breakthrough not only answers long-standing questions but often opens the door to entirely new areas of discovery. </span></span></span><br />
<br />
<br />
<span style="color: #101418;" class="mycode_color"><span style="font-family: 'Linux Libertine', Georgia, Times, 'Source Serif 4', serif;" class="mycode_font"><span style="font-weight: bold;" class="mycode_b"><a href="https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics" target="_blank" rel="noopener" class="mycode_url">ARTICLE</a></span></span></span>]]></description>
			<content:encoded><![CDATA[<span style="color: #101418;" class="mycode_color"><span style="font-family: 'Linux Libertine', Georgia, Times, 'Source Serif 4', serif;" class="mycode_font"><span style="font-weight: bold;" class="mycode_b">List of unsolved problems in mathematics</span></span></span><br />
<br />
<span style="color: #101418;" class="mycode_color"><span style="font-family: 'Linux Libertine', Georgia, Times, 'Source Serif 4', serif;" class="mycode_font"><span style="font-weight: bold;" class="mycode_b">Summary</span></span></span><br />
<br />
<span style="color: #101418;" class="mycode_color"><span style="font-family: 'Linux Libertine', Georgia, Times, 'Source Serif 4', serif;" class="mycode_font"><span style="font-weight: bold;" class="mycode_b">The history of mathematics is filled with famous problems that resisted solution for decades or even centuries, and this list highlights many of the most important ones that remain open today. It brings together outstanding questions from virtually every branch of mathematics—including number theory, algebra, geometry, topology, graph theory, analysis, dynamical systems, set theory, and computer science—ranging from deceptively simple puzzles to deep conjectures with far-reaching consequences. Among the best-known are the six remaining Millennium Prize Problems, such as the Riemann hypothesis, P versus NP problem, and the Navier–Stokes existence and smoothness, each carrying a &#36;1 million prize for a correct solution. </span></span></span><br />
<br />
<span style="color: #101418;" class="mycode_color"><span style="font-family: 'Linux Libertine', Georgia, Times, 'Source Serif 4', serif;" class="mycode_font"><span style="font-weight: bold;" class="mycode_b">The article also places these problems in historical context by referencing influential collections such as Hilbert's problems, Landau's problems, Smale's problems, and the thousands of questions posed by Paul Erdős. Together, these unsolved problems illustrate that mathematics is a living and evolving discipline, where every major breakthrough not only answers long-standing questions but often opens the door to entirely new areas of discovery. </span></span></span><br />
<br />
<br />
<span style="color: #101418;" class="mycode_color"><span style="font-family: 'Linux Libertine', Georgia, Times, 'Source Serif 4', serif;" class="mycode_font"><span style="font-weight: bold;" class="mycode_b"><a href="https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics" target="_blank" rel="noopener" class="mycode_url">ARTICLE</a></span></span></span>]]></content:encoded>
		</item>
		<item>
			<title><![CDATA[NIST Digital Library of Mathematical Functions]]></title>
			<link>https://mklab.gr/showthread.php?tid=615</link>
			<pubDate>Mon, 22 Jun 2026 15:09:54 +0300</pubDate>
			<dc:creator><![CDATA[<a href="https://mklab.gr/member.php?action=profile&uid=1">mklabgr</a>]]></dc:creator>
			<guid isPermaLink="false">https://mklab.gr/showthread.php?tid=615</guid>
			<description><![CDATA[<div style="text-align: left;" class="mycode_align"><span style="color: #000000;" class="mycode_color"><span style="font-family: 'DejaVu LGC Sans Condensed', 'Lucida Sans', sans-serif;" class="mycode_font"><span style="font-weight: bold;" class="mycode_b">NIST Digital Library of Mathematical Functions<br />
<br />
</span></span></span><span style="font-weight: bold;" class="mycode_b">Summary</span><br />
<br />
<br />
The <span style="font-weight: bold;" class="mycode_b">NIST Digital Library of Mathematical Functions (DLMF)</span> is a comprehensive online reference created by the National Institute of Standards and Technology (NIST) that provides authoritative information about mathematical functions, especially special functions used in mathematics, physics, engineering, and scientific computing. It is the modern digital successor to the classic <span style="font-style: italic;" class="mycode_i">Abramowitz and Stegun Handbook of Mathematical Functions</span>, offering formulas, definitions, identities, numerical methods, references, and interactive tools. <br />
The library covers topics such as gamma functions, Bessel functions, hypergeometric functions, orthogonal polynomials, elliptic functions, zeta functions, and many other advanced areas, making it an essential resource for researchers, students, and anyone working with applied mathematics.<br />
<br />
<br />
<a href="https://dlmf.nist.gov/" target="_blank" rel="noopener" class="mycode_url">LIBRARY</a><br />
<br />
</div>]]></description>
			<content:encoded><![CDATA[<div style="text-align: left;" class="mycode_align"><span style="color: #000000;" class="mycode_color"><span style="font-family: 'DejaVu LGC Sans Condensed', 'Lucida Sans', sans-serif;" class="mycode_font"><span style="font-weight: bold;" class="mycode_b">NIST Digital Library of Mathematical Functions<br />
<br />
</span></span></span><span style="font-weight: bold;" class="mycode_b">Summary</span><br />
<br />
<br />
The <span style="font-weight: bold;" class="mycode_b">NIST Digital Library of Mathematical Functions (DLMF)</span> is a comprehensive online reference created by the National Institute of Standards and Technology (NIST) that provides authoritative information about mathematical functions, especially special functions used in mathematics, physics, engineering, and scientific computing. It is the modern digital successor to the classic <span style="font-style: italic;" class="mycode_i">Abramowitz and Stegun Handbook of Mathematical Functions</span>, offering formulas, definitions, identities, numerical methods, references, and interactive tools. <br />
The library covers topics such as gamma functions, Bessel functions, hypergeometric functions, orthogonal polynomials, elliptic functions, zeta functions, and many other advanced areas, making it an essential resource for researchers, students, and anyone working with applied mathematics.<br />
<br />
<br />
<a href="https://dlmf.nist.gov/" target="_blank" rel="noopener" class="mycode_url">LIBRARY</a><br />
<br />
</div>]]></content:encoded>
		</item>
		<item>
			<title><![CDATA[Mathematics Subject Classification]]></title>
			<link>https://mklab.gr/showthread.php?tid=597</link>
			<pubDate>Mon, 22 Jun 2026 13:41:35 +0300</pubDate>
			<dc:creator><![CDATA[<a href="https://mklab.gr/member.php?action=profile&uid=1">mklabgr</a>]]></dc:creator>
			<guid isPermaLink="false">https://mklab.gr/showthread.php?tid=597</guid>
			<description><![CDATA[<span style="font-weight: bold;" class="mycode_b">Mathematics Subject Classification</span><br />
<br />
<span style="font-weight: bold;" class="mycode_b">Summary</span><br />
<br />
<span style="font-weight: bold;" class="mycode_b">The Mathematics Subject Classification 2020 (MSC2020) is a standardized system used to organize and categorize mathematical literature by subject area. It is maintained jointly by Mathematical Reviews (MR) and zbMATH and is widely used by journals, publishers, researchers, and databases to classify mathematical papers. </span><br />
<span style="font-weight: bold;" class="mycode_b">The system is hierarchical, using codes such as two-digit, three-digit, and five-digit classifications to represent fields ranging from number theory, algebra, geometry, and analysis to applied mathematics, statistics, computer science, and mathematical education. MSC2020 is an updated version of MSC2010 and helps researchers search, index, and identify relevant mathematical work more efficiently. </span><br />
<br />
<br />
<span style="font-weight: bold;" class="mycode_b"><a href="https://mathscinet.ams.org/msc/msc2020.html" target="_blank" rel="noopener" class="mycode_url">Classification</a></span>]]></description>
			<content:encoded><![CDATA[<span style="font-weight: bold;" class="mycode_b">Mathematics Subject Classification</span><br />
<br />
<span style="font-weight: bold;" class="mycode_b">Summary</span><br />
<br />
<span style="font-weight: bold;" class="mycode_b">The Mathematics Subject Classification 2020 (MSC2020) is a standardized system used to organize and categorize mathematical literature by subject area. It is maintained jointly by Mathematical Reviews (MR) and zbMATH and is widely used by journals, publishers, researchers, and databases to classify mathematical papers. </span><br />
<span style="font-weight: bold;" class="mycode_b">The system is hierarchical, using codes such as two-digit, three-digit, and five-digit classifications to represent fields ranging from number theory, algebra, geometry, and analysis to applied mathematics, statistics, computer science, and mathematical education. MSC2020 is an updated version of MSC2010 and helps researchers search, index, and identify relevant mathematical work more efficiently. </span><br />
<br />
<br />
<span style="font-weight: bold;" class="mycode_b"><a href="https://mathscinet.ams.org/msc/msc2020.html" target="_blank" rel="noopener" class="mycode_url">Classification</a></span>]]></content:encoded>
		</item>
		<item>
			<title><![CDATA[List of mathematical constants [wikipedia]]]></title>
			<link>https://mklab.gr/showthread.php?tid=465</link>
			<pubDate>Thu, 18 Jun 2026 06:23:47 +0300</pubDate>
			<dc:creator><![CDATA[<a href="https://mklab.gr/member.php?action=profile&uid=1">mklabgr</a>]]></dc:creator>
			<guid isPermaLink="false">https://mklab.gr/showthread.php?tid=465</guid>
			<description><![CDATA[Sumaary<br />
<br />
The Wikipedia article on the <span style="font-weight: bold;" class="mycode_b">List of Mathematical Constants</span> presents a broad catalog of numbers that arise naturally throughout mathematics and have fixed, well-defined values. It includes famous constants such as <span style="font-weight: bold;" class="mycode_b">π</span> (the ratio of a circle’s circumference to its diameter), <span style="font-weight: bold;" class="mycode_b">e</span> (the base of natural logarithms), the <span style="font-weight: bold;" class="mycode_b">golden ratio</span> φ, the <span style="font-weight: bold;" class="mycode_b">Euler–Mascheroni constant</span> γ, <span style="font-weight: bold;" class="mycode_b">Apéry’s constant</span>, and many others from fields such as geometry, number theory, analysis, combinatorics, and chaos theory. <br />
<br />
The list also contains entire families of constants, including Bernoulli numbers, Stieltjes constants, and Champernowne constants, along with their definitions, formulas, dates of discovery, and mathematical classifications (e.g., rational, algebraic, irrational, or transcendental). Together, these constants serve as fundamental building blocks that appear repeatedly in mathematical formulas, theorems, and applications across many branches of mathematics. <br />
<br />
<a href="https://en.wikipedia.org/wiki/List_of_mathematical_constants" target="_blank" rel="noopener" class="mycode_url">ARTICLE</a>]]></description>
			<content:encoded><![CDATA[Sumaary<br />
<br />
The Wikipedia article on the <span style="font-weight: bold;" class="mycode_b">List of Mathematical Constants</span> presents a broad catalog of numbers that arise naturally throughout mathematics and have fixed, well-defined values. It includes famous constants such as <span style="font-weight: bold;" class="mycode_b">π</span> (the ratio of a circle’s circumference to its diameter), <span style="font-weight: bold;" class="mycode_b">e</span> (the base of natural logarithms), the <span style="font-weight: bold;" class="mycode_b">golden ratio</span> φ, the <span style="font-weight: bold;" class="mycode_b">Euler–Mascheroni constant</span> γ, <span style="font-weight: bold;" class="mycode_b">Apéry’s constant</span>, and many others from fields such as geometry, number theory, analysis, combinatorics, and chaos theory. <br />
<br />
The list also contains entire families of constants, including Bernoulli numbers, Stieltjes constants, and Champernowne constants, along with their definitions, formulas, dates of discovery, and mathematical classifications (e.g., rational, algebraic, irrational, or transcendental). Together, these constants serve as fundamental building blocks that appear repeatedly in mathematical formulas, theorems, and applications across many branches of mathematics. <br />
<br />
<a href="https://en.wikipedia.org/wiki/List_of_mathematical_constants" target="_blank" rel="noopener" class="mycode_url">ARTICLE</a>]]></content:encoded>
		</item>
		<item>
			<title><![CDATA[Five Lesser Known Mathematical Constants []]]></title>
			<link>https://mklab.gr/showthread.php?tid=464</link>
			<pubDate>Thu, 18 Jun 2026 06:21:00 +0300</pubDate>
			<dc:creator><![CDATA[<a href="https://mklab.gr/member.php?action=profile&uid=1">mklabgr</a>]]></dc:creator>
			<guid isPermaLink="false">https://mklab.gr/showthread.php?tid=464</guid>
			<description><![CDATA[<span style="font-weight: bold;" class="mycode_b">Summary</span><br />
<br />
The article highlights five fascinating mathematical constants that are far less famous than π but have intriguing stories and applications. The <span style="font-weight: bold;" class="mycode_b">Delian Constant</span> (∛2) arises from the ancient problem of doubling a cube’s volume, while the <span style="font-weight: bold;" class="mycode_b">Sofa Constant</span> comes from the still-unsolved problem of finding the largest sofa that can be moved around a right-angled corner. <span style="font-weight: bold;" class="mycode_b">Kaprekar’s Constant</span> (6174) is a remarkable number that almost any four-digit number reaches after repeatedly rearranging its digits and subtracting. The <span style="font-weight: bold;" class="mycode_b">Lemniscate Constant</span> plays a role for the figure-eight-shaped lemniscate curve similar to π’s role for circles, and <span style="font-weight: bold;" class="mycode_b">Buffon’s Constant</span> emerges from Buffon’s Needle problem, a probability experiment that can be used to estimate π. Together, these constants showcase the surprising variety, beauty, and depth of mathematical ideas beyond the most familiar constants.<br />
<br />
<a href="https://teachingmathsscholars.org/fivelesserknownmathematicalconstants" target="_blank" rel="noopener" class="mycode_url">ARTICLE</a>]]></description>
			<content:encoded><![CDATA[<span style="font-weight: bold;" class="mycode_b">Summary</span><br />
<br />
The article highlights five fascinating mathematical constants that are far less famous than π but have intriguing stories and applications. The <span style="font-weight: bold;" class="mycode_b">Delian Constant</span> (∛2) arises from the ancient problem of doubling a cube’s volume, while the <span style="font-weight: bold;" class="mycode_b">Sofa Constant</span> comes from the still-unsolved problem of finding the largest sofa that can be moved around a right-angled corner. <span style="font-weight: bold;" class="mycode_b">Kaprekar’s Constant</span> (6174) is a remarkable number that almost any four-digit number reaches after repeatedly rearranging its digits and subtracting. The <span style="font-weight: bold;" class="mycode_b">Lemniscate Constant</span> plays a role for the figure-eight-shaped lemniscate curve similar to π’s role for circles, and <span style="font-weight: bold;" class="mycode_b">Buffon’s Constant</span> emerges from Buffon’s Needle problem, a probability experiment that can be used to estimate π. Together, these constants showcase the surprising variety, beauty, and depth of mathematical ideas beyond the most familiar constants.<br />
<br />
<a href="https://teachingmathsscholars.org/fivelesserknownmathematicalconstants" target="_blank" rel="noopener" class="mycode_url">ARTICLE</a>]]></content:encoded>
		</item>
		<item>
			<title><![CDATA[Some Fundamental Theorems in Mathematics [Knill]]]></title>
			<link>https://mklab.gr/showthread.php?tid=252</link>
			<pubDate>Wed, 10 Jun 2026 03:47:59 +0300</pubDate>
			<dc:creator><![CDATA[<a href="https://mklab.gr/member.php?action=profile&uid=1">mklabgr</a>]]></dc:creator>
			<guid isPermaLink="false">https://mklab.gr/showthread.php?tid=252</guid>
			<description><![CDATA[<span style="font-weight: bold;" class="mycode_b"><span style="color: #000000;" class="mycode_color"><span style="font-family: Verdana, sans-serif;" class="mycode_font">Some Fundamental Theorems in Mathematics</span></span></span><br />
<span style="color: #000000;" class="mycode_color"><span style="font-family: Verdana, sans-serif;" class="mycode_font">by </span><span style="font-family: Verdana, sans-serif;" class="mycode_font">Oliver Knill</span></span><br />
<br />
<span style="color: #000000;" class="mycode_color"><span style="font-family: Verdana, sans-serif;" class="mycode_font">Summary  An expository hitchhikers guide to some theorems in mathematics. Criteria for the current list of 135 theorems are whether the result can be formulated elegantly, whether it is beautiful or useful and whether it could serve as a guide without leading to panic.</span></span><br />
<br />
<span style="color: #000000;" class="mycode_color"><span style="font-family: Verdana, sans-serif;" class="mycode_font"><a href="https://arxiv.org/pdf/1807.08416" target="_blank" rel="noopener" class="mycode_url">BOOK PAGE</a></span></span>]]></description>
			<content:encoded><![CDATA[<span style="font-weight: bold;" class="mycode_b"><span style="color: #000000;" class="mycode_color"><span style="font-family: Verdana, sans-serif;" class="mycode_font">Some Fundamental Theorems in Mathematics</span></span></span><br />
<span style="color: #000000;" class="mycode_color"><span style="font-family: Verdana, sans-serif;" class="mycode_font">by </span><span style="font-family: Verdana, sans-serif;" class="mycode_font">Oliver Knill</span></span><br />
<br />
<span style="color: #000000;" class="mycode_color"><span style="font-family: Verdana, sans-serif;" class="mycode_font">Summary  An expository hitchhikers guide to some theorems in mathematics. Criteria for the current list of 135 theorems are whether the result can be formulated elegantly, whether it is beautiful or useful and whether it could serve as a guide without leading to panic.</span></span><br />
<br />
<span style="color: #000000;" class="mycode_color"><span style="font-family: Verdana, sans-serif;" class="mycode_font"><a href="https://arxiv.org/pdf/1807.08416" target="_blank" rel="noopener" class="mycode_url">BOOK PAGE</a></span></span>]]></content:encoded>
		</item>
	</channel>
</rss>