что вы мне тут пытаетесь доказать?

Абсолютно ничего. Я предложил разбираться вместе и привел мои рассуждения. Вы с ними несогласны и приводите свои - ну так это замечательно. Через какое то время можно будет найти и точки соприкосновения. Ну или точно определится с разногласиями.

я могу определить переменную или свойство с определённым входным и выходным типом, а затем в коде переопределять ее как мне заблагорассудится.

Если подходить более строго, то переменная может иметь только лишь значение и тип, но да понятно, что имелось в виду.

Однако для меня это определение - всего лишь ссылка на метод. Типа как в Си. МС не трактует делегаты подобным образом. (A delegate is a type that represents references to methods with a particular parameter list and return type. Delegates are an object-oriented, type safe, and secure type that safely encapsulates a method)

Вот еще определение нашел: The delegate is a reference type data type that defines the method signature. You can define variables of delegate, just like other data type, that can refer to any method with the same signature as the delegate.

Насколько я понял, в Яве подобного определения нет.

И я совсем не уверен, что в Яве возможно что то подобное

public delegate void MyDelegate();
MyDelegate delg = () =>  Console.WriteLine("Test");
delg();