Recent content by Bob

Presburger Arithmetic is infinitely axiomatizable. infinitely many axioms included. the statement and it's negation can be deduced from axioms. So it's complete and consistent. From Godel's Incompleteness theorem. any finite set of axioms cannot be both consistent and complete. inconsistent...

It is sad. the book is about something never defined. I find this Kolmogorov's probability theory. http://en.wikipedia.org/wiki/Probability_axioms

Is this possible?

thank you for your reply :smile: I don't mean the product of elements of a list. I mean this one: \prod_{n=0}^\infty x^n

use this one "∏" anyone knows how to use it?

test

What is life? If you had not lost your life, when your body go to dust all you have experienced have became eternal and you also have opportunity to experience more. The question is "What is life?".

if you are something in your brain receiving bio-elertricity, you can ask someone pick you out connect you to a computer and make another world for you.

Do you mean angel is the stable release version of us ?

We are not machines.God loves us. Do you like a better performing machine more than human?

I agree with you. we don't know future. What we do can change nothing. Everything is in the plan. We make choices and things happened naturally. Creator supports all things by rules or miracle. Making choices and things happened depends on grace, so we think that we can do what I want to do...

justifications is a reason for action. If violence comes without a reason which is not violence, maybe violence is justified in order to stop it. If the reason is violence, maybe all violence is justified or all not. Otherwise if the problem which causes the violence can be solved...

A=\left(\begin{array}{cc}\frac{1}{2}&-\frac{1}{2}\\\frac{1}{2}&-\frac{1}{2}\\\frac{1}{2}&\frac{1}{2}\\\frac{1}{2}&\frac{1}{2}\end{array}\right) Find an orthonomal basis for N(A^T) :smile:

I want to know how to use it in practice. We can find the coefficients and a function f(x) from x0, x1, ...xn and f(x0), f(x1)...f(xn). These values come from observations. I am sure they are not complex numbers. So, the real trigonometric polynomial is good enough. The question is why we use...

I like this one. T_{N}=\frac{a_0}{2} +\sum^N_{n=0}a_n cos(nx) +\sum^N_{n=0}b_n sin(nx)