We give a short review on the status of research theoretical foundations $f(T)$ gravity theories. discuss recent results perturbative and non-perturbative approaches, causality degrees freedom, future directions to follow.

The laureates brought the conceptual features of quantum physics back to mainstream interest.

A formal method (e.g., of software verification) is foundational if it proves program properties from the axioms of logic and from a low-level machine specification (ISA or transistors). The proofs should be machine-checked, because hand-checked proofs don’t track real software systems well. With recent advances on several fronts (in static analysis, semantics, compiler verification) it is now ...

This paper aims at giving a contribution to the ongoing attempt to turn the theory of pattern-recognition into a rigorous science. In this article we address two problems which lie at the foundations of pattern-recognition theory: (i) What is a pattern? and (ii) How do we come to know patterns? In so doing much attention will be paid to tracing a non-arbitrary connection between (i) and (ii), a...

Purpose – Information ethics, as is well known, has emerged as an independent area of ethical and philosophical inquiry. There are a number of academic journals that are devoted entirely to the numerous ethical issues that arise in connection with the new information communication technologies; these issues include a host of intellectual property, information privacy, and security issues of con...

the increasing reliance on information gathered from the web and other internet technologies raise the issue of trust. through the development of semantic web, one major difficulty is that, by its very nature, the semantic web is a large, uncensored system to which anyone may contribute. this raises the question of how much credence to give each resource. each user knows the trustworthiness of ...