Нет по обоим пунктам. Если бы по второму пункту всё было так, как ты пишешь, ты бы не торчал сейчас в Интернете с глупыми вопросами. Они бы остались в памяти твоего компьютера.
А в программировании - два понятия переменных.
В императивных языках - это символическое обозначение блока памяти, из которого можно прочитать, и в который можно записать, или порта ввода-вывода, из которого можно получить данные, и в который можно отправить данные.
В лямбда-исчислении - это терм (символ), привязанный к значению (неизменяемому, естественно, т.к. в лямбда-исчислении отсутствует понятие изменения). Переменной этот терм является в том смысле, что при разных применениях функции он может принимать разные значения. Например, sin(π/2) и sin(π) - применение одной и той же функции к разным значениям аргумента, и внутри функции этот аргумент считается переменной.