hastumand budan (#), hastan (#), budan (#)
1) To have actual being or reality; to be.
M.E., from O.Fr. exister, ultimately from pr.p. of L. existere/exsistere "to stand forth, appear; to exist, be;" from → ex- + sistere "cause to stand," from PIE *sta-, cf. Pers. istâdan "to stand," → state.
Hastumand budan, from Mid.Pers. hastumand "existing, existent," from hast, ast 'is" (infinitive hastan, astan); O.Pers. astiy; Av. asti "is;" O.Pers./Av. root ah- "to be;" cf. Skt. as-; Gk. esti; L. est; PIE *es-, + euphonic -u-, + -mand possession suffix, → -ist, + budan "to be," to become;" Mid.Pers. butan "to be ,become," from O.Pers./Av. bav- "to be; become, take place," Av. buta- perf. ptcpl. pass., bavaiti "becomes," Skt. bhavati "becomes, happens," bhavah "becoming; condition, state," PIE *bheu- "to be, come into being, become;" cf. Gk. phu- "become," phuein "to bring forth, make grow," L. fui "I was" (perf. tense of esse), futurus "that is to be, future," Ger. present first and second person sing. bin, bist, E. to be, O.Ir. bi'u "I am," Lith. bu'ti "to be," Rus. byt' "to be."
hastumandi (#), hasti (#)
Math.: The fact that at least one → solution exists for a given → problem.
parâse-ye hustumandi, ~ hasti
Fr.: problème d'existence
Math: The question of whether a → solution to a given → problem exists.
âvin-e hastumandi, ~ hasti
Fr.: preuve d'existence
Math.: An → argument that establishes an → existence theorem.
farbin-e hastumandi, ~ hasti
Fr.: théorème d'existence
Math: A theorem that asserts the existence of at least one object, such as the → solution to a → problem or → equation.
Existing; having existence.
1) Of or relating to → existence, especially
From L.L. existentialis, → existence, → -al.
Hastiyâl, from hasti, → existence, + -al a suffix of attributes forming adjectives that often become nouns, in this case preferred to -i because hasti ends in -i, → -al.
Fr.: quantificateur existentiel
A symbol of → predicate logic which expresses that the statements within its scope are → true for at least one instance of something. The symbol ∃ is used as the existential quantifier. Existential quantifiers are normally used in logic in → conjunction with → predicate symbols, which say something about a → variable or → constant, in this case the variable being quantified (→ quantify, → quantification).
→ existential; → quantifier.
A philosophical attitude associated especially with Heidegger, Jaspers, Marcel, and Sartre, and opposed to → rationalism and → empiricism, that stresses the individual's unique position as a self-determining agent responsible for the authenticity of his or her choices (Dictionary.com).
→ existential; → -ism.
An advocate of → existentialism.
→ existential; → -ist.
Fr.: non existence
Math.: The fact that no → solution exists for a given → problem. In mathematics, nonexistence usually is a matter of impossibility.