"two discrete states are the same = there is zero difference between two discrete states"

(define (same a b)
  (not (different a b)))

(define (different a b)
  (not (same a b))

tā? Vai arī tu piedāvāji:

(define (same a b)
  (< (difference a b) epsilon))

Pēdējais ir iespējams tikai tad, ja a un b ir kvantificējami, un pat ja tie būtu kvantificējami, kā piemēram naudas daudzums, tu teiktu, ka divi dažādi bankas konti ar vienādu daudzumu naudas skaitīsies "the same"?

(Reply to this) (Parent) (Thread)

Third one, long live examples in code un piezīme sev nediskutēt pusmiega stāvoklī.

Par kontiem un kvantējamību... viss ir atkarīgs no parametriem, kurus salīdzini, right? Ja kritērijs ir naudas daudzums kontā, tad, jā, tie skaitīsies "the same", ja īpašnieka uzvārds vai pēdējie trīs simboli konta numura virknē, tad, protams, naudas daudzums nebūs relevants.

(Reply to this) (Parent) (Thread)

Laikam piemērs par kontiem nebija īpaši veiksmīgs. Es tev varētu piekrist gadījumā, ja a un b ir kvantificējami, jo kā gan savādāk varētu atbildēt uz jautājumu: "A kas ir tas epsilons?"

(Reply to this) (Parent) (Thread)

Nu, bet kvantēt jau var [gandrīz] pilnīgi visu. For that point, objektīvi salīdzināt tādu parametru vienādību, kas nebūtu kvantējami tādā vai citādā telpā, būtu visai sarežģīti by any account, don't you think so?

(Reply to this) (Parent) (Thread)

Yeah, mūsdienās jau pašu velnu var nokvantificēt.

(Reply to this) (Parent) (Thread)

Nu, eņģeļus viņi mēģināja jau viduslaikos.

(Reply to this) (Parent)