dimitri/blog
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update templates

Browse source
This commit is contained in:
Dimitri Lozeve 2020-08-30 23:41:53 +02:00
parent 55b9e2523c
commit b0ca171973
34 changed files with 536 additions and 707 deletions
Download patch file Download diff file Expand all files Collapse all files

41
_site/posts/peano.html
View file

@ -21,31 +21,25 @@
</head>
<body>
<article>
<header>
<nav>
<nav>
<a href="../">Home</a>
<a href="../projects.html">Projects</a>
<a href="../archive.html">Archive</a>
<a href="../contact.html">Contact</a>
</nav>
<a href="../archive.html">Posts</a>
<a href="../projects.html">Projects</a>
<a href="../contact.html">Contact</a>
</nav>
<h1 class="title">Peano Axioms</h1>
<p class="byline">March 18, 2019</p>
</header>
</article>
<article>
<section class="header">
</section>
<section>
<div id="toc"><h2>Table of Contents</h2><ul>
<h1 class="title">Peano Axioms</h1>
<p class="byline">March 18, 2019</p>
</header>
<section>
<div id="toc"><h2>Table of Contents</h2><ul>
<li><a href="#introduction">Introduction</a></li>
<li><a href="#the-axioms">The Axioms</a></li>
<li><a href="#addition">Addition</a>
@ -166,10 +160,11 @@ then <span class="math inline">\(\varphi(n)\)</span> is true for every natural n
<p>Wigner, Eugene P. 1990. “The Unreasonable Effectiveness of Mathematics in the Natural Sciences.” In <em>Mathematics and Science</em>, by Ronald E Mickens, 291–306. WORLD SCIENTIFIC. <a href="https://doi.org/10.1142/9789814503488_0018">https://doi.org/10.1142/9789814503488_0018</a>.</p>
</div>
</div>
</section>
</article>
</section>
</article>
<footer>
Site proudly generated by
<a href="http://jaspervdj.be/hakyll">Hakyll</a>