Computational machines, their digital senses are hovering are all around us. We make decisions, we experience and negotiate, we travel and triangulate through their prowess. In other words, we as a collective of social knowledge embed intelligence and knowledge into their circuitry and digital logic. Their arises my question; how is this digital logic grounded in the larger set of mathematical logic. Is this digital logic a linear crystallization of natural computing algorithms?
As we reach the boundaries of traditional algorithms of natural data set, the emerging frontiers of decision sciences are appearing as the phantom ghosts from nowhere. And at times we think they are coming from nowhere in the past and we call them data explosion and sensor revolution. Where has internet hidden all these Phantoms from the past.
Recently I read that mathematical logic has a lot of formalism derived from the brilliant approaches of the 20th century mathematician Hilbert, who tried to consolidate many of the mathematical problems under the ambit of a unified theory of mathematical theory. Thus we need to understand the formalism and whether their were some limitations on the approaches in the problem solving approaches of Hilbert methodology.
Why all this question now? It is because of the very reason that the theoretical computational models need to take a new turn as we are seeing cognitive computing as the future approach to the decision making algorithms of future needs. When we shift the gears from circuit computing to cognitive computing, there must be a realization of the underlying mathematical logic and its complexity inherent. Our investigations must begin at the very root of the mathematical logic which derived its powers from the formalist approach.