Hi there 👋

  • Welcome to my blog. I am Arda!
  • I am a computer science and mathematics enthusiast. In my spare time, I read holy books of computer science and mathematics. The rest of the time, I worship to Alan Turing.
  • I love reading and writing.

Differential Equations 1 | Classifying the Equations and Notations - Introduction (1.2)

Definitions As we discussed earlier in here differential equations widely used when we need to model real-world actions. For instance, velocity, acceleration, heat on a surface etc. Remember that, derivatives measure how a quantity changes, so a differential equation describes a relationship between a quantity and its rate of change. Let us leave these intuitive definitions aside and focus on rigorous definitions of differential equations. $\textbf{Definition 1.1.:} $ (Differential Equations) An equation containing the derivatives of one or more dependent variables with respect to one or more independent variables is said to be a differential equation, shortly DE. ...

November 25, 2025 · 7 min · 1470 words · Me

Analysis 1 | Subsequences and Monotonicity - Deep Dive into Sequences (1.6)

The converse of Theorem 1.2. (every convergent sequence is bounded) is not generally true. For example, observe the sequence $\left((-1)^n\right)_n$. The elements of these sequence consist only of $1$ and $-1$. It is bounded, yet not convergent. So we have a very great example of disproving a theorem by a counterexample. I love such examples because it is not important how big the theorem is, if you can find any counterexample then you can either throw that theorem into thrash bin or you can refine and redefine it. What we will do right now is refining and redefining. To do so, we need definition for monotonicity. ...

November 15, 2025 · 11 min · 2309 words · Me

Differential Equations 1 | Behind the Curtain of Mathematics - Motion (1.1)

Why to use differential equations I do not and will not like giving plain formula or technic to solve problem, rather I want to learn the truth as Faust did. Faust was extremely successful person, he was some kind of researcher, he read and read. However, he was not satisfied with the position of his life. It seemed meaningles and pointless to him. One day he made a pact with Mephistoteles. The deal was pretty straightforward: in exchange for his soul he will gain unlimited knowledge and hedonic pleasures. If Faust had been a real person, he would have hated plain formulas given without reasoning. Therefore, we will not use any formula, theorem or lemma without proving it beforehand. I have briefly discussed Faust here. ...

November 5, 2025 · 5 min · 1037 words · Me

Gödel's Proof | Absolute Proofs - Part 2

Where does crisis come from In the last chapter we talked about Russel’s paradox and the need for a formalized system of mathematics. In this section of the blog, we will discuss why mathematics needed to be formalized and what ideas were involved. A mathematician called Cantor created the set theory in the 1870s, he was confident about his theory. He did make a real leap in mathematics in terms of modernization. I mentioned naive set theory a little bit here. Well, I’m not someone who can criticize Cantor, but Bertrand Russell did. He developed a very clever paradox that created a major bottleneck in set theory. ...

November 2, 2025 · 6 min · 1140 words · Me

Analysis 1 | The Algebraic and Order Limit Theorems - Operations on Sequences (1.5)

Intuition is a dangerous weapon Nearly every mathematician had very sharp and concise, yet sometimes dangerous intuition, which led mathematics into the very flawy statements. The theorems and even axioms in a system should be precise internally. I had talked about that topic in the page Gödel’s Proof. The definition (Definition 1.14) in section Analysis I Part 4 stated after the concept of convergence had been used without proof, relying only on intuition. Hopefully, it did not lead mathematics to flawy theorems, statements and etc. Why do we need such a solid definition of convergence? Well, it is because we need to prove them in general terms. Let us continue with boundedness and then move to the algebraic properties of limit? ...

October 17, 2025 · 9 min · 1847 words · Me

Gödel's Proof | Consistenceny and Proofs - Part 1

Introduction In 1931 a mathematician with round glasses wrote a quite short paper with title “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme”. He was 25 years old. So young was he that, instead of tearing mathematics apart with the energy of his youth, he could have spent his time doing nothing. He was at the University of Vienna and since 1938 a permanent member of the Institute for Advanced Study at Princeton. ...

October 16, 2025 · 7 min · 1458 words · Me

Analysis 1 | Sequences and Their Limits - Arbitrary Smalls (1.4)

Back then When I was in college, I used to solve a lot of sequence problems. I really liked the topic. It is something that I cannot depict right now, because I have only a few words in my mind. Whatever I write here cannot express the importance of the sequences in mathematics. Nevertheless, I will try to explain the topic while giving my understanding. While learning sequences it is important to build a bridge between the mathematics we know right know, and the mathematics that we will know in the future. ...

October 9, 2025 · 8 min · 1518 words · Me

Analysis 1 | Infimum, Supremum, and Axiom of Completeness - 1870s (1.3)

The edges we all know I guess everybody that has a little curious have met with Zeno. It is unclear but generally thought that Zeno paradoxes have been developed to support the Parmenides’ doctrins by Zeno of Elea. Do not worry we will not talk about neither Parmenides nor his absurd motion doctrins. By the way he said that “motion is nothing but an illusion”. However, we will use Dichotomy paradox to address the topics infimum and supremum. Dichotomy paradox basically states that to travel any finite distance, you must complete infinite number of tasks using your finite amount of time, which is a paradox since there’s an infinite number of tasks corresponds to finite time, the journey can never be completed. Here is the process that Zeno followed: first decide a goal. Second go halfway of it and then go half of the remaining distance, and then repeat the process. Having to reach a halfway point goes on infinitely. ...

October 5, 2025 · 6 min · 1107 words · Me

Analysis 1 | Intervals, subsets, and Archimedean property - Properties of Sets (1.2)

Build the intervals and stay inside Whenever I talk about mathematics, I directly think of number sets. It is surprisingly hard to build, yet easy to understand. Each of them have a different purpose, there is a very close relation between them. Until we prove the properties and maybe the existence of the number sets we will use $\mathbb{R}, \ \mathbb{N}, \ \mathbb{Z}, \ \mathbb{Q}, \ \mathbb{C}$ without proving the properties, as if we all accept and embrace them. Further, Even I won’t talk about Peano’s axioms. ...

October 1, 2025 · 9 min · 1824 words · Me

Analysis 1 | Exploring the Set Theory - Introduction (1.1)

In this blog we use so called LaTeX to represent the mathematical terms. To sustain and maintain the beauty of the mathematics it is SO necessary to use LaTeX. Let’s start with the very well-known definition in mathematics. We will start with definition of a set, some basic properties of sets and operations on sets. Neat start to set theory $ \textbf{Definition 1.1.:} $ A set is a collection of objects called elements ...

September 20, 2025 · 5 min · 856 words · Me