<div dir="ltr"><div>Hello,</div><div><br></div><div><span style="color:rgba(0,0,0,0.9);font-family:-apple-system,system-ui,"system-ui","Segoe UI",Roboto,"Helvetica Neue","Fira Sans",Ubuntu,Oxygen,"Oxygen Sans",Cantarell,"Droid Sans","Apple Color Emoji","Segoe UI Emoji","Segoe UI Emoji","Segoe UI Symbol","Lucida Grande",Helvetica,Arial,sans-serif;font-size:14px">My book 'Mathematics in Programming' in English was published on 7/11/2024. </span>This book uses Haskell as the main tool for examples of mathematics ideas.</div><div><span style="color:rgba(0,0,0,0.9);font-family:-apple-system,system-ui,"system-ui","Segoe UI",Roboto,"Helvetica Neue","Fira Sans",Ubuntu,Oxygen,"Oxygen Sans",Cantarell,"Droid Sans","Apple Color Emoji","Segoe UI Emoji","Segoe UI Emoji","Segoe UI Symbol","Lucida Grande",Helvetica,Arial,sans-serif;font-size:14px"><br></span></div><div><span style="color:rgba(0,0,0,0.9);font-family:-apple-system,system-ui,"system-ui","Segoe UI",Roboto,"Helvetica Neue","Fira Sans",Ubuntu,Oxygen,"Oxygen Sans",Cantarell,"Droid Sans","Apple Color Emoji","Segoe UI Emoji","Segoe UI Emoji","Segoe UI Symbol","Lucida Grande",Helvetica,Arial,sans-serif;font-size:14px">Springer link:</span><span class="gmail-white-space-pre" style="box-sizing:inherit;font-size:14px;font-family:-apple-system,system-ui,"system-ui","Segoe UI",Roboto,"Helvetica Neue","Fira Sans",Ubuntu,Oxygen,"Oxygen Sans",Cantarell,"Droid Sans","Apple Color Emoji","Segoe UI Emoji","Segoe UI Emoji","Segoe UI Symbol","Lucida Grande",Helvetica,Arial,sans-serif;color:rgba(0,0,0,0.9);white-space:pre;line-height:inherit"> <a href="https://link.springer.com/book/10.1007/978-981-97-2432-1">https://link.springer.com/book/10.1007/978-981-97-2432-1</a></span><span style="box-sizing:inherit;font-size:14px;font-family:-apple-system,system-ui,"system-ui","Segoe UI",Roboto,"Helvetica Neue","Fira Sans",Ubuntu,Oxygen,"Oxygen Sans",Cantarell,"Droid Sans","Apple Color Emoji","Segoe UI Emoji","Segoe UI Emoji","Segoe UI Symbol","Lucida Grande",Helvetica,Arial,sans-serif;color:rgba(0,0,0,0.9);line-height:inherit"><br style="box-sizing:inherit;line-height:inherit"></span><span style="color:rgba(0,0,0,0.9);font-family:-apple-system,system-ui,"system-ui","Segoe UI",Roboto,"Helvetica Neue","Fira Sans",Ubuntu,Oxygen,"Oxygen Sans",Cantarell,"Droid Sans","Apple Color Emoji","Segoe UI Emoji","Segoe UI Emoji","Segoe UI Symbol","Lucida Grande",Helvetica,Arial,sans-serif;font-size:14px">Amazon link:</span><span class="gmail-white-space-pre" style="box-sizing:inherit;font-size:14px;font-family:-apple-system,system-ui,"system-ui","Segoe UI",Roboto,"Helvetica Neue","Fira Sans",Ubuntu,Oxygen,"Oxygen Sans",Cantarell,"Droid Sans","Apple Color Emoji","Segoe UI Emoji","Segoe UI Emoji","Segoe UI Symbol","Lucida Grande",Helvetica,Arial,sans-serif;color:rgba(0,0,0,0.9);white-space:pre;line-height:inherit"> <a href="https://www.amazon.com/Mathematics-Programming-Xinyu-Liu/dp/9819724317/">https://www.amazon.com/Mathematics-Programming-Xinyu-Liu/dp/9819724317/</a></span><br></div><div><br></div><div><br></div><div>The book presents the mathematical view and tools of computer 
programming with broad and friendly context. It explains the basic 
concepts such as recursion, computation model, types, data, and etc. The
 book serves as an introductory and reference guide to the engineers, 
students, researchers, and professionals who are interested in 
functional programming, type system, and computer programming languages.<br></div><div>

<p>The book covers seven topics. Firstly, it lays out the number system 
based on Peano Axioms and demonstrates the isomorphic computer data 
structures. Then, it introduces Lambda calculus as a computing model and
 recursion, an important programming structure, with the Y-combinator. 
It next presents the basic abstract algebra, including group and fields,
 and provides a friendly introduction to Galois theory. After that, it 
uses category theory as a tool to explain several concepts in computer 
programming, including the type system, polymorphism, null handler, and 
recursive data types, then followed by an application of program 
optimization. In the last two chapters, the author shows how to program 
with the concept of infinity through stream and lazy evaluation, and 
then explains the naïve set theory and transfinite numbers, from which 
the logic paradox arises. Finally, it introduces four historical views 
of mathematical foundation, as well as Gödel’s incompleteness theorems 
developed in 1930s, and how they define the boundaries of computer 
programming. Additionally, the book provides biographies, stories, and 
anecdotes of 25 mathematicians, along with over 130 exercises and their 
corresponding answers.</p></div><div><br></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Xinyu LIU<br><a href="https://github.com/liuxinyu95/unplugged" target="_blank">https://github.com/liuxinyu95</a><br><div><p><font face="arial, helvetica, sans-serif"><i>e</i>^(<i>π</i>i)+1 = 0</font><span style="font-family:"Times New Roman","serif";color:black"></span></p></div></div></div></div></div>