Philosophy of programming

[Ramine]

Hello,

Take for example mathematical logic, you will learn for example
in mathematical logic that:

p -> q (that means: if p then q)

is equivalent to:

not(q) -> not(p)

because it is infered mathematically from:

p -> q

is equivalent to:

not(p) or q


Why we are using the equivalence: not(q) -> not(p) ?

Because there is problems that looks like:

a and b -> c

that are easier to prove with: not(c) -> not(a) or not(b)


And this brings efficiency , so it brings a higher level of quality,
so a higher level understanding of logic to formalize logic is
modeling and is also science.

This is the essence of programming, because programming is also
modeling, and when you model with big O of datastructures , this
modeling constitute also science, because like in philosophy that
understand the essence of things, the modeling with big O of
datastructures has a consequence of bringing a higher degree of quality
that constitute a good approximation of the high degree of quality
that we find in science, so when you do modeling with intelligente
technics and modeling with big O,so that means by reusing intelligence,
so tht means by reusing intelligente code, that is also science.



Thank you,
Amine Moulay Ramdane.