Friday, June 15, 2012

Programming language not based on boolean algebra

Programming languages are designed to be executed by a machine which understands Boolean Algebra. Naturally to express an idea in these programming languages one will have to totally unambiguous. Encapsulation and Abstraction concepts of prgramming languages try hard to hide or abstract the context in which the programmer tries to express something. But sooner or later it gets very complex.
Although I have very limited understanding of Fuzzy logic and similar mathematical/statistical concepts, but can we develop some programming language which is based on these foundations rather on Boolean Algebra? Or is it already there?
What I am vaguely imagining is a platform:
1. Is a composition of context bound expressions.
2. Would start with very contextual expressions and assume that they are correct and totally discrete and unambiguous.
3. Working towards the common goal of the program, when these expressions interact with others then there respective contexts should be corrected so that they make sense to each other.
4. The expressions remain the same and aren't corrected. The contexts are corrected.
5. It has to be iterative and evolving.
6. Not sure if the contexts should be aware of the bigger goal of the program. How will the contexts and their corrections align towards the main objective of the program?

2 comments:

Adding Fractions Calculator said...

I am here to discuss a simple definition of Boolean logic as-Boolean logic is a system of symbolic logic which is used in computers.Study of mathematical operations performed on binary variables that can have only two values: true or false. It provides a set of rules called Boolean logic that are indispensable in digital computer-circuit and switching-circuit design.

Niket Kumar said...

You are correct. My usage of Boolean Algebra phrase might be misleading.
What I meant was that programming languages don't allow to express contextual expressions. What I am looking for is something which could start as a vague expression(which could mean different in different contexts) but eventually lead to nearly accurate goal.