binormale

binormale

agg. e s. f. [comp. di bi- e normale]. – 1. In geometria: retta b. (o più comunem. la binormale) a una curva sghemba in un suo punto P è la perpendicolare condotta per P al piano osculatore in P alla curva stessa; versore b. è il versore avente la direzione della binormale a una curva e opportunamente orientato. 2. In cristallografia, come s. f., sinon. di asse ottico primario. 3. In logica matematica: sistema b., sistema canonico con un solo assioma in cui tutte le produzioni sono produzioni normali e inverse di produzioni normali; insieme b., insieme tale che sia esso sia il suo completamento possono essere generati da un sistema normale.