# General Mathematics

## 1303 Submissions

 viXra:1303.0163 [pdf] replaced on 2013-03-22 09:27:22

### On A Property of Pascal's Triangle

Authors: Germán Paz
Comments: 6 Pages. Draft version.

In this simple Math exercise we show a property of Pascal's Triangle. More precisely, we show that if $a$ is any positive odd integer, then $\binom{a}{1}-\binom{a}{2}+\binom{a}{3}-\binom{a}{4}+\dots+\binom{a}{a}=1$. Moreover, we prove that if $b$ is any positive even integer, then $\binom{b}{1}-\binom{b}{2}+\binom{b}{3}-\binom{b}{4}+\dots+\binom{b}{b-1}-\binom{b}{b}=1$.
Category: General Mathematics

 viXra:1303.0147 [pdf] submitted on 2013-03-20 05:22:21

### Syntactic - Semantic Axiomatic Theories in Mathematics

Authors: Elemer E Rosinger

A more careful consideration of the recently introduced "Grossone Theory" of Yaroslav Sergeev, , leads to a considerable enlargement of what can constitute possible legitimate mathematical theories by the introduction here of what we may call the {\it Syntactic - Semantic Axiomatic Theories in Mathematics}. The usual theories of mathematics, ever since the ancient times of Euclid, are in fact axiomatic, [1,2], which means that they are {\it syntactic} logical consequences of certain assumed axioms. In these usual mathematical theories {\it semantics} can only play an {\it indirect} role which is restricted to the inspiration and motivation that may lead to the formulation of axioms, definitions, and of the proofs of theorems. In a significant contradistinction to that, and as manifestly inspired and motivated by the mentioned Grossone Theory, here a {\it direct} involvement of {\it semantics} in the construction of axiomatic mathematical theories is presented, an involvement which gives semantics the possibility to act explicitly, effectively, and altogether directly upon the usual syntactic process of constructing the logical consequences of axioms. Two immediate objections to what appears to be an unprecedented and massive expansion of what may now become legitimate mathematical theories given by the {\it syntactic - semantic axiomatic theories} introduced here can be the following : the mentioned direct role of semantics may, willingly or not, introduce in mathematical theories one, or both of the "eternal taboo-s" of {\it inconsistency} and {\it self-reference}. Fortunately however, such concerns can be alleviated due to recent developments in both inconsistent and self-referential mathematics, [1,2]. Grateful recognition is acknowledged here for long and most useful ongoing related disccussions with Yaroslav Sergeev.
Category: General Mathematics

 viXra:1303.0136 [pdf] submitted on 2013-03-19 02:44:31

### Five Departures in Logic, Mathematics, and Thus Either We Like It, or not in Physics as Well ...

Authors: Elemer E Rosinger