1. Life and work Kurt Gödel was a solitary genius, whose work influenced all the subsequent developments in mathematics and logic. The striking fundamental results in the decade 1929-1939 that made Gödel famous are the completeness of the first-order predicate logic proof calculus, the incompleteness of axiomatic theories containing arithmetic, and the consistency of the axiom of choice and the...

This paper includes the study of a known very simple reference current source, having two branches, where the temperature-compensation of the sum of branch currents (the total current) is done. This kind of approach is adequate when the reference must supply current in a charge with grounded or connected to voltage supply end. The first-order thermal compensation of the reference current is ana...

Thermoelastic behavior of temperature-dependent (TD) and independent (TID) functionally graded variable thickness cantilever beam subjected to mechanical and thermal loadings is studied based on shear deformation theory using a semi-analytical method. Loading is composed of a transverse distributed force, a longitudinal distributed temperature field due to steady-state heat conduction from root...